The Free On-line Dictionary of Computing (19 January 2023):

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)