microkernel

microkernel in Technology

operating system
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)