Kernel that provides fewer services than a traditional kernel
In computer science, a microkernel (often abbreviated as μ-kernel) is the near-minimum amount of software that can provide the mechanisms needed to implement an operating system (OS). These mechanisms include low-level address space management, thread management, and inter-process communication (IPC).
If the hardware provides multiple rings or CPU modes, the microkernel may be the only software executing at the most privileged level, which is generally referred to as supervisor or kernel mode. Traditional operating system functions, such as device drivers, protocol stacks and file systems, are typically removed from the microkernel itself and are instead run in user space.[1]
In terms of the source code size, microkernels are often smaller than monolithic kernels. The MINIX 3 microkernel, for example, has only approximately 12,000 lines of code.[2]
^Herder, Jorrit N. (23 February 2005). "Toward a True Microkernel Operating System" (PDF). minix3.org. Retrieved 22 June 2015.
In computer science, a microkernel (often abbreviated as μ-kernel) is the near-minimum amount of software that can provide the mechanisms needed to implement...
L4 is a family of second-generation microkernels, used to implement a variety of types of operating systems (OS), though mostly for Unix-like, Portable...
model differs from other operating system architectures (such as the microkernel architecture) in that it alone defines a high-level virtual interface...
GNU Hurd is a collection of microkernel servers written as part of GNU, for the GNU Mach microkernel. It has been under development since 1990 by the GNU...
kernel architecture that attempts to combine aspects and benefits of microkernel and monolithic kernel architectures used in operating systems.[unreliable...
operating systems, in which the students constructed a basic real-time microkernel and user programs. Both were convinced there was a commercial need for...
MINIX (from mini-Unix) is a Unix-like operating system based on a microkernel architecture. Since version 2.0, it has been POSIX compliant. Early versions...
MkLinux (for Microkernel Linux) is an open-source software computer operating system begun by the Open Software Foundation Research Institute and Apple...
collaborative activities. These components abstract microkernel functions and support user applications. The microkernel and the management components collection...
Tweeters MachTen, a Unix-like operating system based on BSD and the Mach microkernel Mach-X, a comic book superhero alter-ego of Marvel Comics character Abner...
Huawei additionally bundled the HarmonyOS TEE microkernel with the Android system; this microkernel for example handled identity security features such...
native microkernel, running on platforms including ARM, PowerPC, SPARC, StrongARM, and IA-32 (x86). The Java virtual machine runs on the microkernel. All...
kernel. The hybrid kernel was designed as a modified microkernel, influenced by the Mach microkernel developed by Richard Rashid at Carnegie Mellon University...
short for "Microkernel Linux," which refers to the project's adaptation of the Linux kernel to run as a server hosted atop the Mach microkernel. MkLinux...
OpenHarmony. The rich execution environment (REE) version of HarmonyOS microkernel is placed at its core with a single framework as kernel mode; also the...
by Andrew S. Tanenbaum Barrelfish Croquet EROS – microkernel, capability-based CapROS – microkernel EROS successor Harmony – realtime, multitasking, multiprocessing...
OpenWrt, Sabotage, Morpheus Linux, Chimera Linux, and Void Linux. The seL4 microkernel ships with musl. For binaries that have been linked against glibc, gcompat...
on the Cray-1, Cray-2, X-MP, Y-MP, C90, etc. UNICOS MAX: a Mach-based microkernel used on the T3D's processing elements, together with UNICOS on the host...
iOS is based on macOS. Like macOS, it includes components of the Mach microkernel and FreeBSD. It is a Unix-like operating system. Although some parts...
unify all of the world's computers and operating systems with a single microkernel. From 1993 to 1996, Taligent was seen as competing with Microsoft Cairo...