View Single Post
  #4   (View Single Post)  
Old 8th May 2019
gpatrick gpatrick is offline
Spam Deminer
 
Join Date: Nov 2009
Posts: 245
Default

Most secure for what purpose? A common operating system or less obscure? General purpose or specific?

Personal desktop.
Enterprise server.
Military/government communications.

For general purpose desktop, some might say Qubes which uses isolation built on Xen. But if Xen has a vulnerability, and it has, then your battleship could be sunk.

sel4 is mathematically verified. Some secure operating systems are being built on it. You can run the NetBSD rump kernel on sel4.

Last edited by gpatrick; 8th May 2019 at 09:13 PM.
Reply With Quote