"Brendan" == Brendan Morgenstern bmorgenstern@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> guidehttps://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