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.
--
Thanks and Regards,
Amit Goyal