seL4 Raspberry Pi 4B Support
Hi, I am doing a feasibility study to ascertain whether Linux can be deployed to a seL4 kernel running on a Pi 4B with 8GB of memory. I have seen that there is explicit support for the Pi 3B, and that Linux can be run in a virtual machine on top of seL4. But I did not see explicit support for a Pi 4B and the ability to have the Pi run the Linux VM. Please let me know if this would be possible. Thanks, Drew Humphrey
"Drew" == Drew Humphrey via Devel
writes:
Drew> Hi, I am doing a feasibility study to ascertain whether Linux Drew> can be deployed to a seL4 kernel running on a Pi 4B with 8GB of Drew> memory. I have seen that there is explicit support for the Pi Drew> 3B, and that Linux can be run in a virtual machine on top of Drew> seL4. But I did not see explicit support for a Pi 4B and the Drew> ability to have the Pi run the Linux VM. Please let me know if Drew> this would be possible. We have had sel4test running on the Pi 4B; it _should_ be possible to get the VMM running in AARCH64 mode --- in other words, I can't see anything to stop the VMM at https://github.com/seL4/camkes-vm-examples-manifest from being adapted to the Raspberry Pi 4B. There _would_ be some work to do. -- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW
Hello Drew,
We are working with a setup like this for an open source project at Arm Research [1].
We have Linux VMs running on top of the seL4 kernel on the Raspberry Pi 4B (the one I'm using happens to only have 4GB of RAM).
I'm happy to provide any further information.
Best,
Nick
[1] https://gitlab.com/arm-research/security/icecap/icecap/
________________________________
From: Drew Humphrey via Devel
Hi Nick, Do the Linux VMs communicate with each other on top of the seL4 kernel on the Raspberry Pi 4B? What mechanism do they use to communicate? Regards, Ericka Oakes
participants (4)
-
Drew Humphrey
-
erickaoakes@protonmail.com
-
Nick Spinale
-
Peter Chubb