Search
Results
SmartOS
Expanded Main Page - OSDev Wiki
Jari Operating System | Jari OS
[http://jarios.org/] - - public:megatux
Jari OS is a real-time microkernel operating system which runs in terms of multi-service architecture. Core system consists of its own microkernel μString, core and system services, set of device drivers launched as trusted services.
BeRTOS
Home page — Genode Operating System Framework
Whitix.org
XNU - Wikipedia, the free encyclopedia
OS Development
MikeOS
[http://mikeos.sourceforge.net/] - - public:megatux
ing language designed for building highly parallel, distributed, fault-tolerant systems. It has been used commercially for many years to build massive fault-tolerant systems which run fo
Bona Fide OS Development News
Miray Software -µnOS
Prex - Embedded Real-Time Operating System
Open Source OS - MonaOS
Movitz
Sartoris Microkernel
Can We Make Operating Systems Reliable and Secure?
[http://www.computer.org/portal/site/computer/menuitem.5d61c1d591162e4b0ef1bd108bcd45f3/index.jsp?&pName=computer_level1_article&TheCat=1005&path=computer/homepage/0506&file=cover1.xml&xsl=article.xsl&] - - public:megatux