Earlier quoted context omitted.
>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.
And Qubes OS.
Refer to Makatea[0] for Qubes reimagined on a less flawed architecture.