This new operating system, known as Helios ... I/O services such as file systems are made transparent via remote message passing, which extends a standard microkernel message-passing abstraction ...

Midori -- the Microsoft skunkworks operating-system project -- is still ... scheduling (kernel and user-mode/runtime), message passing and asynchrony more generally, shared-memory, data and ...

The Singularity project is an experimental microkernel and operating system developed ... for channels—first-class asynchronous message-passing constructs. Singularity also introduces a software ...