seL4 based system would make most sense for security http://sel4.systems/ http://sel4.systems/ https://github.com/seL4 https://github.com/seL4 First as a hyper

seL4 based system would make most sense for security http://sel4.systems/ http://sel4.systems/ https://github.com/seL4 https://github.com/seL4 First as a hypervisor, then adding more stuff.