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