>>>>> "Drew" == Drew Humphrey via Devel <[email protected]> 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
_______________________________________________
Devel mailing list -- [email protected]
To unsubscribe send an email to [email protected]
