microkernel (English, noun)
expansion: microkernel (plural microkernels)
Senses:
qualifier: operating systems
glosses: A minimal operating system kernel offering basic mechanisms rather than abstract services.
Forms:
form: microkernels
tags: plural