2 ms·

I'll insert my standard plug for Genode/Sculpt OS here... Capability based, and used/maintained commercially: https://genode.org/ https://genode.org/

• rurban 5mo ago
  I also like HarmonyOS, the most advanced secure OS nowadays. If they just would have fixed deadlocks also.
  • mech422 5mo ago
    Never heard of HarmonyOS before - looking at the website, it doesn't seem to mention being capability based, but it is 'distributed' ??