>Alas, it is just stuff built on top of Android, which is built on top of the Li... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		snvzz on April 22, 2024 \| parent \| context \| favorite \| on: Meta Horizon OS >Alas, it is just stuff built on top of Android, which is built on top of the Linux kernel. Look into HarmonyOS, Fuchsia, LionsOS, Managarm, Haiku and Genode.

fsflover on April 23, 2024 [–]

And Qubes OS.

snvzz on April 24, 2024 | [–]

Qubes relies on Linux, huge TCB.

Refer to Makatea[0] for Qubes reimagined on a less flawed architecture.

0. https://trustworthy.systems/projects/makatea/

fsflover on April 24, 2024 | | [–]

It doesn't rely on Linux, it relies on Xen and hardware virtualization: https://www.qubes-os.org/faq/#why-does-qubes-use-xen-instead...

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact