Re: [PATCH v6] gnu: Add u-boot, device-tree-compiler.

[David Craven]

> Which u-boot defconfig should we use?
>
> List of defconfigs with "vexpress" in the name:
>
> vexpress_aemv8a_dram_defconfig
> vexpress_aemv8a_juno_defconfig
> vexpress_aemv8a_semi_defconfig
> vexpress_ca15_tc2_defconfig
> vexpress_ca5x2_defconfig
> vexpress_ca9x4_defconfig

Ups I just realized that there is no default machine for arm. But
I think that vexpress-a9 is often used as the default machine for
qemu. That would be vexpress_ca9x4_defconfig. It's also what
nixos uses. [0]

>> 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)
>
> I don't know either...
>
> For simple compilation tests (i.e. whether I broke the package specification) 
> I use u-boot-efi-x86 on x86_64 without cross compiling.

The default machine for qemu-system-mips is:
malta      MIPS Malta Core LV (default)

I don't know if uboot can boot this? Maybe someone interested
in guix system vm --system=mipsel-linux can comment?

> Not sure what the status of qemu is in that regard. Can it do UEFI?

With tianocore it can, but don't think I remember ever getting it to
work (on fedora a long time ago), so we can ignore my comment
in regard to x86_64/i686 architectures, since grub already works
well anyway.

[0] https://nixos.org/wiki/NixOS_on_ARM