From the HackerLinks archive

Qubes OS

A security-focused desktop OS built on hardware virtualization.

At a glance:
First seen:2026-05-19
Last seen:2026-05-19
Times seen:1
Website:qubes-os.org

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

2026-05-19

Editorial paraphrase

A commenter called it their daily driver and said they cannot recommend it enough.

Original thread

The foundations of a provably secure operating system (PSOS) (1979) [pdf]

Also surfaced in this discussion

Genode

The foundations of a provably secure operating system (PSOS) (1979) [pdf]

2026-05-19

seL4

The foundations of a provably secure operating system (PSOS) (1979) [pdf]

2026-05-19