microkernel


Also found in: Dictionary, Thesaurus, Medical, Wikipedia.

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 ?
The OS's microkernel design uses formal verification methods to reshape security and trustworthiness from the ground up in a Trusted Execution Environment (TEE).
In a microkernel implementation, the software resources are separated into kernel mode or user mode.
Reconfiguration of point metaability refers to the reprogramming control of the software or hardware resources in nodes (e.g., node protocol entity, form management, control entity, network processor microkernel, etc.) or a full reload of software to reconfigure these resource modules flexibility.
2009) that provided the first implementation-level mathematical proof of functional correctness for an operating system (OS) microkernel.
[33] Sharifah Setapa, Mohd Anuar Mat Isa, Nazri Abdullah, and Jamalul-lail Ab Manan, "Trusted computing based microkernel," in Computer Applications and Industrial Electronics (ICCAIE 2010), 2010, no.
The PlayBook tablet, due to launch within weeks after a six-month pitch, is RIM's first product to use an industrial-strength operating system based on QNX, a powerhouse microkernel (rather than the typical monolithic kernel) which RIM bought last year and aims to incorporate into its future smartphones.
The Green Hills Platform for Smart Energy includes: INTEGRITY separation kernel; [micro sign]-velOSity microkernel; MULTI integrated development environment; FFS, FAT, NFS and Journaling File Systems; GHNet dual model IPv4/IPv6 networking stack; complete Wi-Fi support; IPSec; as well as 2D/3D graphics.
The BlackBerry Tablet OS is built upon the QNX Neutrino microkernel architecture, which as your child will tell you, is one of the most reliable, secure and robust operating system architectures in the world.
The QNX Neutrino RTOS provides a robust, fault-tolerant microkernel architecture that enables shorter development cycles, fewer software bugs, and higher uptimes than traditional operating systems.
MINIX uses message passing as its central paradigm because it has a Client/Server microkernel based architecture.