Capability systems

capability-based, real-time operating system (RTOS) being developed by Google

operating system

discontinued Intel microprocessor architecture

family of second-generation microkernels

IBM minicomputer

programming language

computer safety concept and one of the existing security models for design of secure computing systems

Genode is a novel OS architecture that aims to improve software safety by applying a strict organizational structure to all software components including device drivers, system services, and applications.

operating system developed beginning in 1991 by The EROS Group