A practical full microkernel-based system, with an emphasis
on portability and flexibility.
The successor to Helix OS, this is based on the C4
microkernel, an L4-like kernel. The userland syscall API is
capability-oriented, heavily inspired by seL4.
And, despite being large unoptimized, IPC overhead is only
about 1000 cycles per message.
Currently has:
- A compositing display manager
- Entirely userland drivers
- PS/2 keyboards and mice
- ext2 file systems
- VESA framebuffers, as provided by the bootloader
- IDE hard drives
- A useful standard library and libc
- (Soon) SMP
And it runs on real hardware!
View on github