Repository files navigation

This is the kernel of theHermit unikernel project.

• rustup

Usually the kernel will be linked as static library to your applications.

• Rust applications: Instructions can be found in thehermit-rs repository.
• For C/C++ applications: Instructions can be found in thehermit-c repository.

cargo xtask build --arch x86_64

On completion, the script will print the path oflibhermit.a.If you want to build the kernel for aarch64, please replacex86_64 byaarch64.If you want to build the kernel for riscv64, please useriscv64.

This kernel uses the lightweight logging cratelog to print kernel messages.The environment variableHERMIT_LOG_LEVEL_FILTER controls the verbosity.You can change it by setting it at compile time to a string matching the name of aLevelFilter.If the variable is not set, or the name doesn't match, thenLevelFilter::Info is used by default.

$ HERMIT_LOG_LEVEL_FILTER=Debug cargo xtask build --arch x86_64

This kernel is derived from following tutorials and software distributions:

1. Philipp Oppermann'sexcellent series of blog posts.
2. Erik Kidd'stoyos-rs, which is an extension of Philipp Opermann's kernel.
3. The Rust-based teaching operating systemeduOS-rs.

Licensed under either of

• Apache License, Version 2.0, (LICENSE-APACHE orhttp://www.apache.org/licenses/LICENSE-2.0)
• MIT license (LICENSE-MIT orhttp://opensource.org/licenses/MIT)

at your option.

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 onhermit-os/kernel.Create your own fork, send us a pull request, and chat with us onZulip.