I have used the prebuilt uboot binary from the suggested link and have
also manually generated (compiled) the following binaries:
None of the above solution works. Please suggest.
Also, can you please provide me some references for applications
(usable systems built) of seL4 on Raspberry Pi.
Thanks and Regards,
On 2018-11-26 04:59, Kofi.Atuah(a)data61.csiro.au wrote:
If possible could you try replacing your u-boot image with this file
Or if you'd rather not use a prebuilt binary, you can find
instructions on how to generate an image like the one linked to above
Please let me know if that doesn't work for you.
Kofi Doku Atuah
DATA61 | CSIRO
Devel mailing list