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


The central portion of the software expression of a mathematical algorithm, as in computed tomography.
[O.E. cyrnel, a little corn]
Farlex Partner Medical Dictionary © Farlex 2012
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.
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.
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).