Qubes OS

https://www.qubes-os.org/
DJB先生やスノーデン氏がコメントを寄せている。

https://www.qubes-os.org/doc/architecture/
Xen を利用している模様。