5 ms·
Chinese Military Wants to Develop Custom OS
- Nokinside 7y agoseL4 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.