# kernel Redox OS Microkernel [![MIT licensed](https://img.shields.io/badge/license-MIT-blue.svg)](./LICENSE) [![docs](https://img.shields.io/badge/docs-master-blue.svg)](https://doc.redox-os.org/kernel/kernel/) [![](https://tokei.rs/b1/github/redox-os/kernel?category=code)](https://github.com/Aaronepower/tokei) Documentation is still a work in progress