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.

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.
References in periodicals archive ?
He also held positions at Chorus, where he was responsible for the Chorus Micro Kernel real time executive, and Alsys, where he was a member of the Ada programming language design team.
o Enea Hypervisor Specialized systems virtualization solutions through the micro kernel based Enea Hypervisor for high-performance, deterministic embedded code.
The E3200 sets a new standard for high availability and represents the first use of micro kernel software architecture to public data networking.
Notable features include an integral hardware micro kernel with multi-priority process scheduling, trap/exception handling, I/O, DMA, interrupt and timer support and fast context switching.
The powerful Linux functionality delivered in Coventive's micro kernel is uniquely suited to tiny mobile and hand held information devices where engineering specifications are too rigorous for common embedded Linux solutions.
The unique design of the ORB micro kernel supports `pay-for-use' resource management allowing eORB-based INAs to operate on a Palm Pilot using Palm OS, as well as network switching and transmission devices using real time operating systems such as VxWorks(R)," said Tom Greene, vice president of engineering for Vertel.