3 ms·
>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.
by snvzz 3y ago
>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 3y agoAnd Qubes OS.
- snvzz 3y agoQubes relies on Linux, huge TCB. Refer to Makatea[0] for Qubes reimagined on a less flawed architecture. 0. https://trustworthy.systems/projects/makatea/ https://trustworthy.systems/projects/makatea/
- fsflover 3y agoIt doesn't rely on Linux, it relies on Xen and hardware virtualization: https://www.qubes-os.org/faq/#why-does-qubes-use-xen-instead-of-kvm-or-some-other-hypervisor https://www.qubes-os.org/faq/#why-does-qubes-use-xen-instead...