This section is on operating systems (OSs) which main trait is that they have a microkernel architecture. A microkernel is a minimal OS kernel providing only basic OS services (system calls), while other services (usually done by kernels) are done by user-space programs called servers. Usually, microkernels provide services such as address space (memory) management, thread management, and inter-process communication, but not networking, or display. Later extensions of microkernel designs led to new architectures such as nanokernels, exokernels, and hardware abstraction layers (HAL). Monolithic kernels (DOS, Linux, most Unix, Windows, etc.) go in their own section. Microkernel Operating Systems Software Computers.
In computer science, a microkernel (also known as μ-kernel ) is the near-minimum amount of software that can provide the mechanisms needed to implement an operating system (OS). (wikipedia)
- Wikipedia: In computer science, a microkernel is the near-minimum amount of software that can provide the mechanisms needed to implement an operating system. These mechanisms include low-level address space management, thread management, and inter-process communication.
- Kernel (computer science) - The kernel's interface is a low-level abstraction layer. When a process makes requests of the kernel, it is called a system call. Kernel designs differ in how they manage these system calls and resources.
- Exokernel - Exokernel is an operating system kernel developed by the MIT Parallel and Distributed Operating Systems group, and also a class of similar operating systems.
- Hybrid kernel - A hybrid kernel is an operating system kernel architecture that attempts to combine aspects and benefits of microkernel and monolithic kernel architectures used in computer operating systems.
- Monolithic kernel - A monolithic kernel is an operating system architecture where the entire operating system is working in kernel space and is alone in supervisor mode. The monolithic model differs from other operating system architectures in that it alone defines a high-level virtual interface over computer hardware.
- Loadable kernel module - In computing, a loadable kernel module is an object file that contains code to extend the running kernel, or so-called base kernel, of an operating system. LKMs are typically used to add support for new hardware and/or filesystems, or for adding system calls.
- Trusted computing base - The trusted computing base of a computer system is the set of all hardware, firmware, and/or software components that are critical to its security, in the sense that bugs or vulnerabilities occurring inside the TCB might jeopardize the security properties of the entire system.
- Teachable Topsy www
Teachable Operating System: tiny multithreaded messaging microkernel, Topsy, in ANSI C; protected threads, memory managed, and thread/process control. From undergraduate course on concurrency, device programming, OS concepts. Descriptions, documents, theses, downloads, contacts, links. [Open Source, GPL] Topsy.
- Growing K42 www
Growing article, K42, with links to many related topics. Wikipedia. K42.
- Growing Microkernel www
Growing article, Microkernel, with links to many related topics. Wikipedia. Microkernel.
- One The MicroEmpix Fan Site www
One user microkernel (nearer an exokernel), MicroEmpix Fan Site, very small, version of Empix Unix-like OS developed at the Computing Systems Laboratory, National Technical University of Athens. The MicroEmpix Fan Site.
- Explains Sartoris Microkernel Tutorial www
Explains about making a policy-free microkernel; multipart series. Sartoris Microkernel Tutorial.
- Portable ShagOS www
Portable object-oriented microkernel OS, ShagOS, dynamically loaded device drivers, fully redesigned and rewritten many times in C++, runs on VAX, x86. Ongoing experiment in using O-O paradigm as framework for full OS, with distributed computing as main aspect in most design decisions. ShagOS.
- High K42 www
High performance, K42, general-purpose research OS kernel for cache-coherent multiprocessors, for next generation servers ranging from small-scale (to grow ubiquitous), to very large-scale non-symmetric (growing important in commercial and technical environments. IBM Research. Open source. K42.
- SUpport SUMO www
SUpport for Multimedia in Operating systems, SUMO, Lancaster University: microkernel OS with facilities to support distributed realtime and multimedia applications and ODP-based multimedia distributed application platforms. SUMO.
- Page The Open Group: Advanced Research www
Page listing several research projects: microkernel OSs (MK7, Open Group: Advanced Research, MK++, AD3) and other modules (CONVERSANT, CORDS, GIPC, SHAWS). The Open Group: Advanced Research.
- Automatic ACCORDS Project www
Automatic Configuration and Monitoring of Component-Based Distributed Systems. Project. From Universities of São Paulo, and of Campinas, Brazil. Part of 2K effort. ACCORDS Project.
- Component-based 2K www
Component-based network-centric OS for the next millennium: distributed, 2K, adaptable, designed for frequent change, from the Systems Software Research Group, and the Multimedia Operating Systems and Networking Group, University of Illinois, Urbana-Champaign. 2K.
- Dedicated Workbench Nostalgia www
Dedicated to the preservation and restoration of the Amiga Workbench's history. Workbench Nostalgia.
- NetBSD NetBSD 1.3 for Amiga www
NetBSD port for Amigas with MMUs. NetBSD 1.3 for Amiga.
- Powerful Amoeba www
Powerful free, Amoeba, open source, microkernel-based system that turns a collection of workstations or single-board computers into a transparent distributed system. Used in academia, industry, and government for many years. Runs on many platforms. Amoeba.
- Part Bibliography on the Distributed Operating System Amoeba www
Part of the Computer Science Bibliographies: search, the Distributed Operating System Amoeba, browsing, statistics. Bibliography on the Distributed Operating System Amoeba.
- Brief Ask AtheOS Creator Kurt Skauen about His Creature www
Brief story, AtheOS Creator Kurt Skauen about His Creature, with many forum comments. Slashdot. Ask AtheOS Creator Kurt Skauen about His Creature.
- It The AtheOS Info Site www
It lists various user and developer questions and answers about AtheOS in FAQ format. AtheOS Info Site. Specifically, it covers how to set a view to use a fixed font, how to compile the sources from scratch, and how to handle graphics. The AtheOS Info Site also discusses particulars of the AtheOS API and Unicode support. The AtheOS Info Site.
- Technical The BeBox Zone www
Technical Specifications for BeBox components, BeBox Zone, historical information about BeBox development, and anecdotal information about the use of BeBoxen. The BeBox Zone.
- An Haiku Project www
An open-source operating system currently in development and inspired by BeOS. Project. Its kernel is based on NewOS. Open source, released under the MIT license. Haiku Project.
- Growing ChorusOS www
Growing article, ChorusOS, with links to many related topics. Wikipedia. ChorusOS.
- The Convergence International www
The non-Wintel user group, International, supporting Acorn, Amiga, Apple, ARM, Be, NCs, PowerPC, Psion, Unix and other alternative operating systems. Services include a non-Wintel news summary. Convergence International.
- Unbiased How Stuff Works: Operating Systems www
Unbiased enlightening tutorial with impartial description of how OSs work, Stuff Works: Operating Systems, and many related links. How Stuff Works: Operating Systems.
- Alexa: Microkernel Operating Systems
Alexa Directory Top Sites: Microkernel Operating Systems
- DMOZ: Microkernel Operating Systems
dmoz.org Directory: Microkernel Operating Systems