kernel
kernel copied to clipboard
hermit-os
A Rust-based, lightweight unikernel.
RustyHermit: libhermit-rs
libhermit-rs is the kernel of the RustyHermit unikernel project.
Requirements
Building the kernel
Usually the kernel will be linked as static library to your applications.
- Rust applications: Instructions can be found in the rusty-hermit repository.
- For C/C++ applications: Instructions can be found in the hermit-playground repository.
Standalone static library build
cargo xtask build --arch x86_64
On completion, the script will print the path of libhermit.a.
Control the kernel messages verbosity
libhermit-rs uses the lightweight logging crate log to print kernel messages.
The environment variable HERMIT_LOG_LEVEL_FILTER 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 LevelFilter::Info is used by default.
$ HERMIT_LOG_LEVEL_FILTER=Debug cargo xtask build --arch x86_64
Credits
libhermit-rs is derived from following tutorials and software distributions:
- Philipp Oppermann's excellent series of blog posts.
- Erik Kidd's toyos-rs, which is an extension of Philipp Opermann's kernel.
- The Rust-based teaching operating system eduOS-rs.
HermitCore's Emoji is provided for free by EmojiOne.
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.
libhermit-rs is being developed on GitHub. Create your own fork, send us a pull request, and chat with us on Slack
hermit-os