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 devel@sel4.systems 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.
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 devel@sel4.systems Sent: 24 August 2021 14:12 To: devel@sel4.systems devel@sel4.systems Subject: [seL4] 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 _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems IMPORTANT NOTICE: The contents of this email and any attachments are confidential and may also be privileged. If you are not the intended recipient, please notify the sender immediately and do not disclose the contents to any other person, use it for any purpose, or store or copy the information in any medium. Thank you.
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
-
Drew Humphrey -
erickaoakes＠protonmail.com -
Nick Spinale -
Peter Chubb