coyotos

A capability-based OS, the successor to EROS; it will be implemented in a low-level language with clean semantics, BitC.