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 <[email protected]> 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 > [email protected] > https://sel4.systems/lists/listinfo/devel > -- Jon Lamb
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
