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 firstname.lastname@example.org 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