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.