Coyotos
From Erights
Coyotos is a capability operating system.
"Coyotos is a secure, microkernel-based operating system that builds on the ideas and experiences of the EROS project. Much of the code developed for EROS will migrate directly to Coyotos." — [1]