This is a Microkernel OS written in Rust
Distributed under the Apache-2.0 License. See LICENSE for more information.