Microkernel Operating System

• BeOS
• Mach
• NeXT@
• Open Source
• OpenBeOS@

• POSIX
• ShagOS@
• Windows 2000@
• Windows NT@
• Windows XP@

• Realtime@
• Submicrokernel@

• Computers: Software: Operating Systems: Object-Oriented 
• Computers: Software: Operating Systems: Realtime 

• BugOS  - Features an operating system developed by an enthusiast; comes with a kernel, device drivers, a file system, and an Internet module.
• K42  - Includes information on the research operating system kernel for cache-coherent multiprocessors. With a list of their products and related links.
• ShagOS  - Provides an online software directory and its news updates. Includes related links and contact information.
• SUMO Home Page  - Features UNIX applications, API interface, and OPENSIG research.
• Teachable Operating System  - Offers information on Sven's operating system, Topsy microkernel, and CS courses.