>>>>> "Brendan" == Brendan Morgenstern <bmorgenst...@i-a-i.com> writes:
Brendan> Hello, I hope all is well. I am interested in running seL4 Brendan> on the Raspberry Pi, and have been following this Brendan> guide<https://research.csiro.au/tsblog/sel4-raspberry-pi-3/>. I Brendan> have followed the instructions and am able to generate an Brendan> seL4 image correctly, however the guide is geared towards Brendan> running on hardware and in fact when I run the resulting Brendan> 'simulate' script I get the following. "Unsupported platform Brendan> or architecture for simulation". Yes, sel4test runs on the Raspberry Pi 3b --- QEMU emulates a raspberry Pi 2. The differences between the SoCs are sufficient that an image built for one will not run correctly on the other. If you want to run on QEMU, I suggest you pick another platform. -- Peter Chubb Tel: +61 2 9490 5852 http://ts.data61.csiro.au/ Trustworthy Systems Group CSIRO's Data61 _______________________________________________ Devel mailing list Devel@sel4.systems https://sel4.systems/lists/listinfo/devel
