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:

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:

Founders:

Julien Freche, Victor Apercé

Git repositories: