hermit-os / kernel

Hermit Kernel This is the kernel of the Hermit unikernel project. For details, see the [docs]. [docs]: https://hermit-os.github.io/kernel Requirements • Building the kernel Usually the kernel will be linked as static library to your applications. • **Rust applications:** Instructions can be found in the hermit-rs repository. • **For C/C++ applications:** Instructions can be found in the hermit-c repository. Standalone static library build On completion, the script will print the path of . If you want to build the kernel for aarch64, please replace by . If you want to build the kernel for riscv64, please use . Control the kernel messages verbosity This kernel uses the lightweight logging crate log to print kernel messages. The environment variable controls the verbosity. You can change it by setting it at compile time to a string matching the name of a LevelFilter. If the variable is not set, or the name doesn't match, then is used by default. Credits This kernel is derived from following tutorials and software distributions: • Philipp Oppermann's [excellent series of blog posts][opp]. • Erik Kidd's [toyos-rs][kidd], which is an extension of Philipp Opermann's kernel. • The Rust-based teaching operating system [eduOS-rs][eduos]. [opp]: http://blog.phil-opp.com/ [kidd]: http://www.randomhacks.net/bare-metal-rust/ [eduos]: http://rwth-os.github.io/eduOS-rs/ License Licensed under either of • Apache License, Version 2.0, (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0) • MIT license (LICENSE-MIT or http://opensource.org/licenses/MIT) at your option. Contribution Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions. The kernel is being developed on hermit-os/kernel. Create your own fork, send us a pull request, and chat with us on Zulip.