Free microkernel operating system for i386 architecture, built on Gemini Nucleus, coded in C. Seeks...
Open source project to make a production quality micro kernel based on the latest findings in OS re...
Opensource effort to develop a quality operating system compatible with Windows NT applications and...
To be fast, secure, straightforward, fill gap between OS X, Linux, Windows, built on microkernel, c...
To be simple 32-bit multitasking microkernel using all security features of x86 processors, able to...
Realtime microkernel: preemptive, fully re-entrant, multithreaded, SMP, continuations, full locking...
Loosely based on concepts in BeOS, FreeBSD, NT, Solaris, other modern OSs; goals: be as modern and ...
Hobby and education OS, for Intel compatible CPUs. Descriptions, documents, screenshots, tips, link...
A microkernel operating system written from scratch. It has some drivers, programs, support for dyn...