Microkernel Operating Systems Software
Microkernel Operating Systems Software
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).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.
Top: Computers: Software: Operating Systems: Microkernel
See Also:
-
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, dow
-
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 li
-
The Open Group: Advanced Research - Page listing several research projects: microkernel OSs (MK7, MK++, AD3) and other modules (CONVERSANT, CORDS, GIPC, SHAWS).
-
Microkernel - Growing article, with links to many related topics. Wikipedia.
-
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
-
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.
-
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.
-
Sartoris Microkernel Tutorial - Explains about making a policy-free microkernel; multipart series.
-
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.
-
K42 - Growing article, with links to many related topics. Wikipedia.
Click here to add, change or remove your listing
|
