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@data61.csiro.au wrote:
> Hey Amit,
> 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
> here: https://docs.sel4.systems/Hardware/Rpi3.html#u-boot
> Please let me know if that doesn't work for you.
> Kofi Doku Atuah
> Kernel engineer
> DATA61 | CSIRO
> Devel mailing list