Hermit

Hermit is Rust-based, lightweight unikernel. It targets a scalable and predictable runtime for high-performance and cloud computing.

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 is able to run Rust applications, as well as C/C++/Go/Fortran applications.

• Website: http://hermit-os.org/
• Code: https://github.com/hermit-os
• Contact: https://hermit.zulipchat.com/