Microkernel

rtos:microkernel

Microkernel architecture used in QNX and similar RTOS.