Definition of microkernel in English:



  • A small modular part of an operating system kernel that implements its basic features.

    • ‘This is actually an architectural dispute: Tanenbaum believes in microkernels and Torvalds doesn't.’
    • ‘A superior approach is to instead implement a microkernel, or lightweight operating system, designed for the specific purpose of serving data.’