Hi Talos,

I've seen what you've described when attempting to simulate with QEMU and forgetting to boot U-Boot first.

I don't think the seL4_tools/elfloader-tool project is currently setup to manage the other cores.

I've been getting familiar with the rpi3 in my spare time and will be enabling that platform in cargo-fel4 (Rust + seL4) soon.

On Sun, Nov 18, 2018 at 11:46 PM talos <2486580938@qq.com> wrote:

Hi
Did anyone try seL3 on raspberry pi 3? I tried following these 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 set the serial port 115200, 8N1, but I only got some messy codes, I did not get the booting information!
Did anyone find this cases? Thanks
Sincerely
_______________________________________________
Devel mailing list
Devel@sel4.systems
https://sel4.systems/lists/listinfo/devel