mikro
mikro is an experimental Micro Kernel written in C++. This micro kernel intends to be very lightweight and flexible.
The default compiler for mikro is clang.
Features:
- Paging
- Symmetric Multi Processor
- Inter Process Communication
- VM86 (on x86)
Supported architectures:
Currently only i386 is supported but we aim to support x86_64 and armv7.
Bootloader:
mikro can be booted using any multiboot compliant bootloader. By default, it comes with a lightweight bootloader called mikrob.
Userland:
Libs:
- libmikro: communication with the kernel
- minimal libc
- ultra minimal libc++