I wouldn't be able to continue this discussion without going even more off topic, so I'm making another topic
argante Move away, but where? To MINIX, seL4, Redox?
This post from @final has some points that may be of interest to you:
Two new innovations I like to bring up time and time again:
https://xous.dev/
https://www.redox-os.org/
argante Almost a decade has passed, and what? Nothing. We're still using Linux
Our roadmap page was updated to reflect our approach better.
The initial phase for the long-term roadmap of moving away from the current foundation will be to deploy and integrate pKVM and CrosVM, reinforcing existing security boundaries. The Android Open Source Project has been making significant progress on this front, so our next milestone is to securely deploy Android apps using this virtualization setup.
You'll be able to see a lot of this progress after Android QPR1 releases on GrapheneOS