Submicrokernel Operating System

• Forth@
• Oberon@
• Smalltalk@

• Computers: Software: Operating Systems: Extensible 
• Computers: Programming: Languages: Language-OS Hybrids 
• Computers: Software: Operating Systems: Open Source 

• dr'ex  - Details on the programming language and development status of the GPLed exokernel.
• dr'ex kernel  - Updates on the new version released on the low level user interface provided for IA32 architecture.
• Elysium Project  - Overview of the project involved in exokernel operating system architecture. Includes details on its applications.
• Exokernel: An Operating System Architecture for Application-Level Resource Management  - Discussion on the operating system's structure and programming principles. Provides documentations and resources.
• Miranda - Operating System  - Offers details about the open source OS that implements the exokernel architecture. Includes downloads, project goals and development information.
• Miray Software  - Introduces the software with different varieties. Includes discussion on relevant information.
• MIT Exokernel Operating System  - Provides a diagram featured on the structure of exokernel based systems. Plus details on applications.