Hello,

Pierre Langlois <pierre.langlois@gmx.com> writes:

(snip)

>>> That being said, while it works on pinebookpro, I still need an extra
>>> patch on the rockpro64 in order to boot, both on master with u-boot
>>> 2021.07 :-/ (see #49550).
>>>
>>> Were you able to confirm the issue? I see it looks like we have the same
>>> configuration in debian and guix, CONFIG_USE_PREBOOT=y and the
>>> "inno-usb" patch applied, mmmm
>>
>> Seems like you fixed the core of that problem in another commit!
>>
>> Patch looks good to me, thanks for working on it!
>
> Thanks for the review! I've just pushed it as
> eb46c6c5c81695af475f7e1e416d05e51157fe60, with a couple of tweaks to
> make `guix lint' happy (the patch filename was a little too long, as
> well as a line was over the column limit).

It turns out I broke a few u-boot packages :-/ https://ci.guix.gnu.org/eval/70864?status=failed

u-boot-tools failing to build on aarch64 appears to be unrelated, it's
due to libical which builds just fine for me on my rockpro64. However
u-boot-vexpress, u-boot-sifive-fu540 and u-boot-qemu-riscv64-smode are
real issues. Here are a couple of patches for them, they're pretty
trivial so I'll push them soon unless anybody objects: