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.