This category 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 category.On this page, OSs are arranged in three groups and levels: 1) Top group: types or classes of OS. 2) Middle group: OSs for which there are more than one instance of an OS of this name/type, an OS family. 3) Bottom group: specific OSs, individual instances; there is only one OS of this name/type.
Sub Directory
BeOS
Flux-Fluke-Flask
Mach
MorphOS
Open Source
POSIX
ReactOS
VSTa
Relate Directory
Operating Systems / Monolithic
Operating Systems / Object-Oriented
Operating Systems / Realtime
Operating Systems / Research
Alias Directory
2K
AmigaOS
Amoeba
AtheOS
ChorusOS
Darwin
EROS
GNU Hurd
Hybrid
L4
Mac OS X
MINIX
NeXT
Nucleus
QNX
Realtime
Submicrokernel
Syllable
Symbian
Unix
VxWorks
Site
BugOS
New microkernel operating system for x86 computers, many features: network and Internet modules, file system (FAT); kernel handles memory, tasks, micro kernels, and some base devices: keyboard, video, hdd, and ramdrive.
The Open Group: Advanced Research
Page listing several research projects: microkernel OSs (MK7, MK++, AD3) and other modules (CONVERSANT, CORDS, GIPC, SHAWS).
Cosy
Goal: scalability of highly parallel multicomputer systems. Based on small microkernel that does process management, interprocess communication; all other services are processes out of kernel. Processes and address spaces orthogonal, so Cosy process is like thread in other OSs. Hardware dependencies concentrated in areas of kernel for portability.
ShagOS
Portable object-oriented microkernel OS, 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.
SUMO
SUpport for Multimedia in Operating systems, Lancaster University: microkernel OS with facilities to support distributed realtime and multimedia applications and ODP-based multimedia distributed application platforms.
Topsy
Teachable Operating System: tiny multithreaded messaging microkernel, 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]
Microkernel
Growing article, with links to many related topics. Wikipedia.
K42
High performance, 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
Growing article, with links to many related topics. Wikipedia.
The MicroEmpix Fan Site
One user microkernel (nearer an exokernel), very small, version of Empix Unix-like OS developed at the Computing Systems Laboratory, National Technical University of Athens.
Sartoris Microkernel Tutorial
Explains about making a policy-free microkernel; multipart series.
Web Search
Microkernel - Wikipedia, the free encyclopedia
URL : en.wikipedia.org/wiki/Microkernel
Structure of monolithic and microkernel-based operating systems, respectively. A microkernel is a minimal computer operating system kernel which, in its purest ...[2008/11/28]
Operating System Models
URL : www.buyya.com/microkernel/chap2.pdf
A microkernel is a tiny operating system core that provides the foundation for ... 2.7 Client-Server or Microkernel Operating System ...[2004/02/17]
Mach (kernel) - Wikipedia, the free encyclopedia
URL : en.wikipedia.org/wiki/Mach_microkernel
Mach is an operating system microkernel developed at Carnegie Mellon University ... that all modern operating systems would be microkernel based by the 1990s. ...[2008/11/13]
Sartoris Microkernel
URL : sartoris.sourceforge.net
... a portable microkernel and a set of operating system services that support: ... toy unix-like operating system to stress the microkernel, named Oblivion, and a ...[2006/07/28]
BYTE.com
URL : www.byte.com/art/9401/sec8/art2.htm
A microkernel is a tiny operating-system core that provides the foundation for ... that have for years offered successful microkernel-based operating systems. ...[2008/11/23]
GFDL:Microkernel - LQWiki
URL : wiki.linuxquestions.org/wiki/Microkernel
A microkernel is a minimal form of computer operating system kernel providing a ... A "pure" microkernel-based operating system would generally start a number of ...[2008/10/23]
What is microkernel? - A Word Definition From the Webopedia Computer ...
URL : www.webopedia.com/TERM/M/microkernel.html
This page describes the term microkernel and lists other pages on the Web where ... integrated into different operating systems, a microkernel works with OS ...[2008/11/28]
Microkernel: Operating Systems at Canadian Content
URL : canadiancontent.net/dir/Top/.../Software/Operating_Systems/Microkernel
... Content explores Microkernel. Includes free listings and information about Microkernel from the CanConDir. ... Microkernel-based and similar Operating Systems ...[2008/11/21]
CTO : Operating Systems
URL : tunes.org/cliki/operating_20systems.html
... An acronym for Bubach Operating System, apparently a no-kernel ... hOp - A microkernel OS based on the Run Time System (RTS) of GHC, an Haskell implementation ...[2008/07/21]
MS Windows NT Kernel-mode User and GDI White Paper
URL : technet.microsoft.com/en-us/library/cc750820.aspx
Microkernel operating systems are based on two fundamental principles. ... No commercial operating system is based on a pure microkernel design.4The reason ...[2008/11/29]
©www.freeaq.net - 2008
POWERED BY FreeBSD 7.0