"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. -- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW