It's basically a micro-kernel, but on top of that, instead of having multiple servers running as standalone processes, it has a modular kernel, so that each server is a module of this kernel.
The micro-kernel contains only the scheduler, memory management and drivers for high-speed devices (like gigabit ethernet NICs or video cards).

Screenshot thumbnail
Command Line

Project Admins:

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.

No, thanks