The short version
A security-focused desktop OS built on hardware virtualization.
From the HackerLinks archive
A security-focused desktop OS built on hardware virtualization.
The short version
A security-focused desktop OS built on hardware virtualization.
Why it caught our attention
The PSOS thread treated it as a real-world isolation platform.
Where it surfaced on Hacker News
Editorial paraphrase
A commenter called it their daily driver and said they cannot recommend it enough.
Original threadThe foundations of a provably secure operating system (PSOS) (1979) [pdf]
Also surfaced in this discussion