Design Overview

CellulOS is an OS personality built on the seL4 microkernel. In other words, it is a user-space server that implements the OSmosis model.