Secure OSes

Reasonably Secure OSes

These OSes are reasonably well designed and tend to be a bit more secure than the traditional monokernels, though they lack the higher assurances of the more advanced systems lower down the page.

Virtualized/Compartmentalized OSes

RTOS

While these aren’t really security focused, they tend to have better code quality due to their nature of having to keep in sync with real time.

Formally Verified Microkernels

A good but incomplete list of Microkernels.

Security Enhanced L4

Certified Kit Operating System

Articles

Security Kernel OSes

See also