Is this necessary?
+ #:make-flags '("HOSTCC=gcc")
this line also seems weird to me, why does the device-tree-compiler
respect HOME instead of PREFIX?
+ `(#:make-flags `("CC=gcc" ,(string-append "HOME=" (assoc-ref
%outputs "out"))) ; Note: or patch out PREFIX
I thought we were phasing #:select for licenses out?
+ #:use-module ((guix licenses) #:select (gpl2))
I think that we should add shortcuts for uboot loaders that would work
with our supported platforms in qemu. For arm-system-qemu that would
be the versatile-express board that works out of the box, I don't know
what the equivalent is for x86_64 and mips. (The rationale being that
the goal is to get guix system vm --system=armhf-linux working)
+;(define-public u-boot-a20-olinuxino-lime2
+; (make-u-boot-package "A20-OLinuXino-Lime2"))
+
+;(define-public u-boot-efi-x86
+; (make-u-boot-package "efi-x86"))
