Subject: Re: [bug#31599] [PATCH v2] system: Add u-boot-puma-rk3399.

From: Danny Milosavljevic <[email-masked]>
Date: Tue, 29 May 2018 10:51:40 +0200

On Mon, 28 May 2018 21:10:15 -0700
Vagrant Cascadian <[email-masked]> wrote:

> +                 (apply invoke "./tools/mkimage"
> +                               `(,"-T" ,"rksd" ,"-n" ,"rk3399" ,"-d" ,"spl/u-boot-spl.bin" ,"u-boot-spl.rksd")

Heh, this is neutral.  So 

  (invoke "./tools/mkimage" "-T" "rksd" "-n" "rk3399" "-d" "spl/u-boot-spl.bin" "u-boot-spl.rksd")

works fine.  So I've changed it to that.

I've pushed it to guix master.

Let's see what our aarch64 machines say about the cross-compilation (probably doesn't work yet - but meh).