CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel IA-32 and ARM9 architectures.
Why do you think that https://github.com/void4/KeyKOS is a good alternative to capros