The Hermit Operating System

Logo

A Rust-based, lightweight unikernel

Hermit is a unikernel targeting a scalable and predictable runtime for high-performance and cloud computing. Unikernel means, you bundle your application directly with the kernel library, so that it can run without any installed operating system. This reduces overhead, therefore, interesting applications include virtual machines and high-performance computing.

Background

Hermit is a rewrite of HermitCore in Rust developed at RWTH-Aachen. HermitCore was a research unikernel written in C (libhermit).

The ownership model of Rust guarantees memory/thread-safety and enables us to eliminate many classes of bugs at compile-time. Consequently, the use of Rust for kernel development promises fewer vulnerabilities in comparison to common programming languages.

The kernel and the integration into the Rust runtime are entirely written in Rust and do not use any C/C++ Code. We extended the Rust toolchain so that the build process is similar to Rust’s usual workflow. Rust applications that use the Rust runtime and do not directly use OS services are able to run on Hermit without modifications.

Requirements

Building your own applications

Have a look at the template.

Use Hermit for C/C++, Go, and Fortran applications

If you are interested to build C/C++, Go, and Fortran applications on top of a Rust-based library operating system, please take a look at https://github.com/hermit-os/hermit-playground.

Wiki

Please use the Wiki to get further information and configuration options.

Publications

Several scientific publications have been made based on the Hermit project:

Credits

Hermit is derived from following tutorials and software distributions:

  1. Philipp Oppermann’s excellent series of blog posts.
  2. Erik Kidd’s toyos-rs, which is an extension of Philipp Opermann’s kernel.
  3. The Rust-based teaching operating system eduOS-rs.

License

Hermit is licensed under either of

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.

Hermit is being developed on GitHub. Create your own fork, send us a pull request, and chat with us on Zulip.