microkernel

An approach to {operating system} design

emphasising small {modules} that implement the basic features

of the system {kernel} and can be flexibly configured.

(1999-08-02)