Open Source
E.R.I.K.A.
Microkernel RTOSs and set of integrated tools to develop embedded realtime applications, made to support all architectures used in power train controllers in automotive industry. K…
Gemini Nucleus
Open source project to make a production quality micro kernel based on the latest findings in OS research.
Haiku Project
(former OpenBeOS project) Goal: recreate (functional equivalent), and then extend, BeOS R5, with binary and source compatibility. Servers and APIs (kits) being rewritten from scrat…
Programmers Operating SYStem: POSYS
To be simple 32-bit multitasking microkernel using all security features of x86 processors, able to load and execute modules for: MS Win32 (32-bit PE, EXE; dynamic link libraries, …
Spoon Microkernel
Hobby and education OS, for Intel compatible CPUs; simple, available source code make it a useful source of learning material. South Africa. Descriptions, documents, screenshots, t…
Showing 20–15 of 15 results