Search results
Results From The WOW.Com Content Network
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).
A microkernel is a minimal computer operating system kernel which, in its purest form, provides no operating system services at all, only the mechanisms needed to implement such services, such as low-level address space management, thread management, and inter-process communication (IPC).
An operating system based on a microkernel like L4 provides services as servers in user space that monolithic kernels like Linux or older generation microkernels include internally. For example, to implement a secure Unix-like system, servers must provide the rights management that Mach included inside the kernel.
Name License Source model Target uses Status Platforms Apache Mynewt: Apache 2.0: open source: embedded: active: ARM Cortex-M, MIPS32, Microchip PIC32, RISC-V: BeRTOS: Modified GNU GPL: open source
Mach is often considered one of the earliest examples of a microkernel. However, not all versions of Mach are microkernels. Mach's derivatives are the basis of the operating system kernel in GNU Hurd and of Apple's XNU kernel used in macOS, iOS, iPadOS, tvOS, and watchOS.
Multiserver Microkernel (Hurd kernel) or Monolithic (Linux-libre kernel, fork of Linux kernel, and other kernels which are not part of the GNU Project) C: 1:1 Unix-like: 2.4 on Linux-libre kernel (not on Hurd kernel) Linux: ReactOS: GPL, LGPL Hybrid C, C++ Windows-like: No RISC OS: Apache 2.0 Monolithic (with cooperative multitasking) ARM ...
Microkernel-based operating systems (1 C, 72 P) Pages in category "Microkernels" The following 78 pages are in this category, out of 78 total.
HarmonyOS kernel is a microkernel at rich executed environment level for software outside hardware-based HarmonyOS TEE kernel, called tee_OS, enabling greater modularity and larger portions of the OS to benefit from memory protection at kernel mode.