Hi All,
I tried running seL4 on Raspberry Pi 3b using the following links: https://research.csiro.au/tsblog/sel4-raspberry-pi-3/ https://docs.sel4.systems/Hardware/Rpi3.html https://inner-haven.net/posts/2017-09-15-sel4-rpi3.html#fnref1
I get the following: CACHE: Misaligned operation at range [20000000, 20000014] CACHE: Misaligned operation at range [20008c80, 200092ef] CACHE: Misaligned operation at range [200192f0, 203bb4f0] CACHE: Misaligned operation at range [203bc000, 203c6030] CACHE: Misaligned operation at range [203c6030, 203c8000] ## Starting application at 0x20000000 …
and then nothing works and the processor halts.
I have tried the pre-built uboot binary, complied uboot versions v2017.1 and v2016.11 as suggested by steve sloloski (on the blog) and uboot version v2016.05 (out of curiosity) but nothing works.
Can someone please suggest a possible way out.
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
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.
Hi All,
There was some problem with my serial connection cable. I changed it and now everything is working fine.
Can someone please provide me some references for applications (usable systems built) of seL4 on Raspberry Pi.
Thanks Amit,
I'm not sure there are any such applications but if you have an application in mind which you would like to build, we are happy to help you design it to be secure and to leverage seL4's isolation guarantees -- feel free to ask any questions along those lines :)
-- Kofi Doku Atuah Kernel engineer DATA61 | CSIRO
-
Amit Goyal -
Kofi.Atuah＠data61.csiro.au