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(a)qq.com> wrote:
Did anyone try seL3 on raspberry pi 3? I tried following these links:
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
Devel mailing list