Hi Kofi, I have used the prebuilt uboot binary from the suggested link and have also manually generated (compiled) the following binaries: a) v2017.11 b) v2017.1 c) v2016.11 d) v2016.05 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, Amit Goyal 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 here: https://sel4.systems/Info/Docs/u-boot-working-rpi3-32bit-v2017.11.bin
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 Devel@sel4.systems https://sel4.systems/lists/listinfo/devel