SeL4 Raspberry Pi -- QEMU support

6 Aug 2020

      Hello, I hope all is well.

I am interested in running seL4 on the Raspberry Pi, and have been following this guidehttps://research.csiro.au/tsblog/sel4-raspberry-pi-3/. I have followed the instructions and am able to generate an seL4 image correctly, however the guide is geared towards running on hardware and in fact when I run the resulting 'simulate' script I get the following.
"Unsupported platform or architecture for simulation".

I can run it manually under qemu to an extent with raspi2 as a machine type ():
qemu-system-arm -serial null -serial mon:stdio -nographic -M raspi2 -kernel sel4test-driver-image-arm-bcm2837

And it produces this outputhttps://pastebin.com/LLuum55T. It seems the image can be *run*, but it doesn't seem to work; it gets stuck on the TIMER0001 test and the previous tests produce errors. It seems that qemu can't quite emulate the raspberry pi hardware.

Is there a way to run the seL4 image on the Raspberry Pi in QEMU, or can you provide an alternative for emulation, or any help whatsoever on this matter?

Thank you for your time,
Brendan Morgenstern

________________________________
This message and all attachments are PRIVATE, and contain information that is PROPRIETARY to Intelligent Automation, Inc. You are not authorized to transmit or otherwise disclose this message or any attachments to any third party whatsoever without the express written consent of Intelligent Automation, Inc. If you received this message in error or you are not willing to view this message or any attachments on a confidential basis, please immediately delete this email and any attachments and notify Intelligent Automation, Inc.

Brendan Morgenstern

Chubb, Peter (Data61, Kensington NSW)

Brendan Morgenstern

tags

participants (2)