Software > Operating Systems > Microkernel

Operating Systems

Open Source

Operating Systems > Microkernel > Open Source

Categories

Amoeba
AtheOS
ChorusOS
Darwin

EROS
Flux-Fluke-Flask
GNU Hurd
L4

Mach
MINIX
Syllable
VSTa

Web Pages

OS/C
Small POSIX microkernel OS, process- and file-oriented, most of the system is built around the scheduler; designed to use minimum system resources to provide network services and utilities; written in C; source browsing and downloads available. [Open Source, GPL]

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. Kernels have 2 main layers: Kernel Layer, Hardware Abstraction Layer, HAL. [GPL]

rtmk
Realtime microkernel: preemptive, fully re-entrant, multithreaded, SMP, continuations, full locking primitives; shares many ideas with Mach, developed by CMU in late 1980's, early 1990's, stopped in 1994. [GPL]

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, tips, links. [Open Source, BSD]

Mika OS
Low-level coded, AI oriented microkernel OS, based on neural nets. Goal: provide a hight flexible OS architecture based on neural networks and sensor equipped devices. Mach4/Flux-based. [Open Source, GPL]

JTMOS
Operating system aimed at OS developers and users who are very advanced at using computers generally; microkernel, multitasking, multithreaded, some garbage collection. [Open Source]

sMultiTA
World's smallest, but full functioning, software extension for MultiTAsking. Very small 200 lines, coded in C, simple, no interrupts or blocking, for hard realtime use; portable, easy to reconfigure to other systems. [Open Source, GPL]

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, DLLs), Linux (ELF, a.out). [Open Source, GPL]

LinksOS
To be fast, secure, straightforward, fill gap between OS X, Linux, Windows, built on microkernel, coded in Assembly, C/C++; for desktops, workstations, small servers. Description, mail list, OS design documents, CVS, downloads. [Open Source, BSD]

Moo32
Early development microkernel.

The content of the websy directory is based on the Open Directory and is enhanced using Websy's own technology.

View My Stats