microkernel

(redirected from Micro kernel)

microkernel

(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.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)

microkernel

(1) The foundation part of an operating system that is designed for the hardware it runs in. The other components of the OS interact with the microkernel in a message-based relationship and do not have to be rewritten if the OS is ported to new hardware. Only the hardware-dependent microkernel must be reprogrammed. Contrast with monolithic kernel. See kernel.

(2) A small control program designed to perform a limited set of functions in one hardware platform.
Copyright © 1981-2019 by The Computer Language Company Inc. All Rights reserved. THIS DEFINITION IS FOR PERSONAL USE ONLY. All other reproduction is strictly prohibited without permission from the publisher.
References in periodicals archive ?
It runs on the proprietary BlackBerry Tablet OS, based on the QNX Neutrino micro kernel architecture.
The Enea Hypervisor, based on OSE micro kernel technology, runs Enea OSE applications at native processor speeds without compromising any real-time critical properties.
'Currently, we have linux and micro kernels only but within a year or two, all existing kernels will be replaced by Harmony kernel.'