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...

modified microkernel, as the Windows NT kernel was influenced by the Mach microkernel but does not meet all of the criteria of a pure microkernel. Supervisory...

verification techniques. The L4.sec system, which is a successor to the L4 microkernel family, is a capability-based system, and has been significantly influenced...

space. The monolithic model differs from other architectures such as the microkernel in that it alone defines a high-level virtual interface over computer...

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...

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...

1999, Apple announced it would release the source code for the Mach 2.5 microkernel, BSD Unix 4.4 OS, and the Apache Web server components of Mac OS X Server...

Zircon, Google Fuchsia New Microkernel". April 15, 2018. Retrieved May 20, 2018. Written in C++, Zircon is composed of a microkernel plus a set of userspace...

bootup, console access, etc.) The creation of a Traffic Management Microkernel (TMM) to directly talk to the networking hardware and handle all network...

kernel whose architecture attempts to combine aspects and benefits of microkernel and monolithic kernel architectures used in operating systems.[unreliable...

MkLinux (for Microkernel Linux) was 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...

Vanguard is a discontinued experimental microkernel developed at Apple Computer, in the research-oriented Apple Advanced Technology Group (ATG) in the...

began the debate in Usenet discussion group comp.os.minix, arguing that microkernels are superior to monolithic kernels and therefore Linux was, even in 1992...

Huawei additionally bundled the HarmonyOS TEE microkernel with the Android system; this microkernel for example handled identity security features such...

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...

smart watches, personal computers and other smart devices. It has a microkernel design with a single framework: the operating system selects suitable...

operating systems, in which the students constructed a basic real-time microkernel and user programs. Both were convinced there was a commercial need for...

Redox is a Unix-like operating system for x86 computers, based on a microkernel design. It is community-developed, released as free and open-source software...

NuKernel is a microkernel that was developed at Apple Computer during the early 1990s. It was the basis for the Copland operating system. It was written...

MINIX is a Unix-like operating system based on a microkernel architecture, first released in 1987 and written by American-Dutch computer scientist Andrew...

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...

ChorusOS is a microkernel real-time operating system designed as a message passing computing model. ChorusOS began as the Chorus distributed real-time...

and physical layers is intermediated by an operation-system caliber microkernel that can perform various transparent optimization. The idea of using...

with its own bespoke HarmonyOS microkernel. The rich execution environment (REE) version of the HarmonyOS microkernel is placed at its core, with a single...

Android, it is not based on the Linux kernel, but instead began on a new microkernel called "Zircon", derived from "Little Kernel". Wear OS a version of Google's...

non-uniform memory access (NUMA) multiprocessing computers. K42 uses a microkernel architecture rather than the traditional monolithic kernel design. K42...

is a microkernel implementing virtualization infrastructure that must run in kernel-space for technical reasons, such as Intel VMX. Microkernels implementing...

orthogonal persistence. EUMEL was followed by the L3 microkernel, and later the L4 microkernel family. Liedtke, Jochen (December 1993). "A persistent...