kernel

(redirected from Microkernel)
Also found in: Dictionary, Thesaurus, Encyclopedia, Wikipedia.

ker·nel

(ker'nĕl),
The central portion of the software expression of a mathematical algorithm, as in computed tomography.
[O.E. cyrnel, a little corn]
References in periodicals archive ?
In addition, because the HarmonyOS microkernel has much less code (roughly one-thousandth the amount of the Linux kernel), the probability of attack is greatly reduced.
A hypervisor can either be based on a microkernel or on a monolithic kernel.
The QNX OS microkernel provides the separation needed to ensure freedom from interference for safety critical systems.
The second example project is the application of machine-checked, interactive proof in the Isabelle/HOL theorem prover to the seL4 microkernel (Klein et al.
The advantages of using a microkernel for RTOS are a better preemptability, a smaller kernel size, and an easier addition/removal of services [1].
QNX claims its modular microkernels make its operating system fault tolerant by protecting the overall system from modules that have "crashed." Also, by remaining format-neutral--Poliak says QNX "is Switzerland when it comes to media formats"--it can integrate competing formats into compliant modules that can be ported to the vehicle during assembly or as an update.
Designed for high availability network elements, the QNX Neutrino RTOS is built on a memory-protected microkernel architecture, providing dynamic upgrades, fine-grained fault isolation, and rapid error recovery.
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.
At its core, the INTEGRITY microkernel design and advanced partition scheduling technology enable it to meet the demanding performance, reliability and security requirements of modern safety- and security-critical systems such as the Keri Access Control System.
A superior approach is to instead implement a microkernel, or lightweight operating system, designed for the specific purpose of serving data.
Founded in 1980, QNX Software Systems is the industry leader in realtime, microkernel OS technology.
Pettifer, GNU/MAVERIK: A microkernel for large-scale virtual environments, Presence 10 (1), 22-34 (2001).