Hi, would it make sense to port seL4 to Fairphone 4 as hypervisor?
seL4 is a formal proven micro kernel but has some demands regarding hardware, which includes e.g. DMA and MMU.
It seems most Linux supported hardware should be supported by seL4 also. If Fairphone 4 drivers are part of plain vanilla Linux kernel there is a chance for get a working platform.
Idea behind that concept is to get more control about Android which communicates to hypervisor only and has no direct access to hardware and more abstraction from real hardware.
Please tell if am completely wrong with my assumptions or if this may be a good idea to get a really secure smartphone.