TAOS Kernel Architecture - TAOS-Labs/TAOS GitHub Wiki

Overview

TAOS is built as an event-driven micro-kernel system with IPC provided via a message-passing port system similar to that of the Mach 3.0 kernel.