28 Nov
2018
28 Nov
'18
5:44 a.m.
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(a)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(a)sel4.systems
https://sel4.systems/lists/listinfo/devel