The MOSA kernel project aims at the specifying interfaces for kernel services through textual Specifications and CIL interface definitions.
The MOSA Kernel uses a very modern architecture, which largely departs from traditional kernel architectures by applying a layering principle in order to make the trusted computing base of a process as small as possible. Essentially this is similar to a Microkernel in that kernel services run seperate from each other in independent address spaces. The idea however is extended by only providing those services to a process, which he has access to. The MOSA Architecture attempts to describe the goals of this approach.