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@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