I'll insert my standard plug for Genode/Sculpt OS here... Capability based, and used/maintained commercially:
https://genode.org/
I also like HarmonyOS, the most advanced secure OS nowadays. If they just would have fixed deadlocks also.
alt Hacker News
I also like HarmonyOS, the most advanced secure OS nowadays. If they just would have fixed deadlocks also.