- 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...
-
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...
-
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...
- 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...
- space. The
monolithic model differs from
other architectures such as the
microkernel in that it
alone defines a high-level
virtual interface over computer...
-
MkLinux (for
Microkernel Linux) is an open-source
software computer operating system begun by the Open
Software Foundation Research Institute and Apple...
-
Vanguard is a
discontinued experimental microkernel developed at
Apple Computer, in the research-oriented
Apple Advanced Technology Group (ATG) in the...
-
kernel whose architecture attempts to
combine aspects and
benefits of
microkernel and
monolithic kernel architectures used in
operating systems.[unreliable...