microkernel


Also found in: Dictionary, Thesaurus, Medical, Legal, 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 ?
My objection to the third reason is that large benchmarks (like AIM and SPEC, as opposed to microbenchmarking a single system call), show that Linux on a microkernel is 7% slower than Linux as a monolith (see os.
HCC's failsafe file systems are now available for use with the o-velOSity microkernel to help provide a high degree of system integrity.
The release of the microkernel demonstrates three vital, guiding principles of the foundation: first, the commitment of many community members to the development of the platform - in this case, Accenture, ARM, Nokia and Texas Instruments Incorporated (TI) all made contributions; second, progress in fulfilling our commitment to a complete open source release of Symbian; and third, a tangible example of providing the most advanced mobile platform in the world," said Lee Williams, Executive Director, Symbian Foundation.
The material will be particularly pertinent to practitioners because it examines enabling technologies for creating operating systems such as objects and microkernels.
Backed by the largest, independent team of microkernel developers, OK Labs delivers OKL4, an embedded hypervisor, which offers the highest performance combined with strong protection and security features.
In contrast, the microkernel approach involves minimizing the kernel and implementing servers outside the kernel.
CHICAGO -- Open Kernel Labs (OK Labs), a global provider of systems software and virtualization technology for embedded systems, today announced the new version of its open source microkernel software, OKL4 2.
PikeOS controls microkernel access to the hardware and allows multiple software partitions to execute on a single CPU with strict separation between them.
The JEMS microkernel architecture lets third party middleware products plug into it and allows it all to run across operating systems and hardware.
Our royalty-free INTEGRITY(R) RTOS, velOSity(TM) microkernel, compilers, MULTI(R) and AdaMULTI(TM) integrated development environments, and TimeMachine(TM) debugger offer a complete development solution that addresses both deeply embedded and high-reliability applications.
INTEGRITY's microkernel design, virtual device drivers, and partitioning architecture enable designers to build truly reliable space-based systems wherein any part of the software, including application programs, RTOS middleware, and even the kernel and interrupt service routines, can be patched, replaced, or upgraded.