This section is for submicrokernel operating systems: OSs with non-monolithic architectures based on structures smaller than microkernels. Varieties and synonyms: lightweight kernel, nanokernel, picokernel, femtokernel, exokernel, no-kernel, or closely related topics. Most, maybe all object-oriented OS architectures also qualify as submicrokernels. Traditional OS architectures limit application performance, flexibility, functionality by fixing interfaces and implementations of OS abstractions such as interprocess communication and virtual memory. Submicrokernels address these issues in varied ways. Most are runtime extensible. Exokernels address such issues by application-level management of physical resources: they put applications in control, to run 10x or more faster than normal OSs. Submicrokernel Operating Systems Software Computers.
- Traditional Exokernel: An Operating System Architecture for Application-Level Resource Management www
Traditional OSs limit application performance, Operating System Architecture for Application-Level Resource Management, flexibility, functionality by fixing interfaces and implementations of OS abstractions such as interprocess communication and virtual memory. Exokernel address this via application-level management of physical resources. [ResearchIndex] Exokernel: An Operating System Architecture for Application-Level Resource Management.
- Puts MIT Exokernel OS www
Puts applications in control, Exokernel OS, runs 10x or more faster. Exopc and XOK versions run on x86 PCs. ExOS library gives user-level extensible implementation of Unix OS, so most applications compile and run with no change. Download. [Open Source, MIT] MIT Exokernel OS.
- Exokernel dr'ex www
Exokernel written in C/asm for the x86 architecture. dr'ex. Released under GPL. dr'ex.
- Planned Miranda www
Planned features: Exokernel architecture, Miranda, object-oriented, POSIX compliant, intuitive GUI, and best technologies: journaled main filesystems, LibOS modular library. Development documentation. [Open Source, LGPL] Miranda.
- Growing Nanokernel www
Growing article, Nanokernel, with links to many related topics. Wikipedia. Nanokernel.
- Growing Exokernel www
Growing article, Exokernel, with links to many related topics. Wikipedia. Exokernel.
- Downloads, Miranda: SourceForge www
Downloads, SourceForge, announcements, and a forum. Programming languages: Assembly, C, and C++. Miranda: SourceForge.
- Information, dr'ex: SourceForge www
Information, SourceForge, news, forum, CVS, downloads. [Open Source, GPL] dr'ex: SourceForge.
- Makes miray Software www
Makes µnOS: 72k microkernel on 8k nanokernel client/server architecture based on OOP framework, Software, symmetric multithreading, multitasking, priority based scheduling, fully interruptible, separated address spaces, and full memory protection. Free download. miray Software.
- Main Elysium www
Main idea: enforce no abstractions, Elysium, rather, have them as options, to all levels of system: hardware, kernel and file services, ways users interact with system; based on exo principles. Descriptions, news. [Open Source] Elysium.
- The Crush/BRiX: An Experimental Language/OS Pair www
Crush/BRiX: An Experimental Language/OS Pair.
- Fast, BRiX: SourceForge www
Fast, SourceForge, single privilege, single address space, preemptive multithreaded, persistent, data-centric, secure, multiuser OS, with safe language, reconfigurable graphical interface. BRiX: SourceForge.
- Henry Capability-Based Computer Systems www
Henry M. Computer Systems. Levy; Digital Press, 1984, ISBN 0932376223. Thorough survey and description of early capability and object based hardware and software systems. Out of print, available as free download, PDF format. Capability-Based Computer Systems.
- Encyclopedia Wikipedia: Capability-based Security www
Encyclopedia article, Capability-based Security, with links to many related topics. Wikipedia: Capability-based Security.
- Suggests Using Kernel Extensions to Decrease the Latency of User-Level Communication Primitives www
Suggests solving networking and distributed systems latency via operating system extensibility; University of New Mexico Technical Report. Using Kernel Extensions to Decrease the Latency of User-Level Communication Primitives.
- Brief Extensible Operating Systems www
Brief description, Operating Systems, and on-site links to descriptions of Choices, Exokernel, GLUnix, VINO, SPIN. Extensible Operating Systems.
- Example Hello, World program www
Example of simple Forth program. Hello, World program.
- A DNW's Forth Page www
A useful collection of Forth libraries, Forth Page, Forth to C translators, hints. DNW's Forth Page.
- Research Choices Object-Oriented Operating System www
Research OS coded in C++, Object-Oriented Operating System, architecture organized as frameworks of objects hierarchically classed by function, performance; customized by replacing subframeworks, objects; application interface is kernel objects exported via application/kernel protection layer; kernel and application objects examined via application browsers; runs on bare hardware on distributed and parallel computers. Virtual Choices (VChoices) also runs under Unix System V. Choices Object-Oriented Operating System.
- Fast, BRiX: Advanced Computing Environment www
Fast, Advanced Computing Environment, no-kernel, single address space, data-centric, preemptive multithreaded, persistent, secure, multi-user operating system, with Crush function-based programming safe-language. Some code available. [Open Source, Artistic] BRiX: Advanced Computing Environment.
- Growing K42 www
Growing article, K42, with links to many related topics. Wikipedia. K42.
- 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.
- Weblog OSNews: Exploring the Future of Computing www
Weblog style online magazine on operating systems and computing environments. Exploring the Future of Computing. Daily updates, reader forum with many comments. OSNews: Exploring the Future of Computing.
- Statistics Internet Operating System Counter www
Statistics on Internet OS use, Operating System Counter, WWW, FTP, and News servers. Over 940,000 hosts checked in this 1999 survey. Internet Operating System Counter.
- Alexa: Submicrokernel Operating Systems
Alexa Directory Top Sites: Submicrokernel Operating Systems
- DMOZ: Submicrokernel Operating Systems
dmoz.org Directory: Submicrokernel Operating Systems