hermit-rs
gilbraltar
| hermit-rs | gilbraltar | |
|---|---|---|
| 3 | 1 | |
| 1,591 | 57 | |
| 1.3% | - | |
| 9.2 | 10.0 | |
| 2 days ago | over 1 year ago | |
| Rust | C | |
| Apache License 2.0 | ISC License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
hermit-rs
- Hermit: a Rust-based, lightweight unikernel
-
Mirage – A programming framework for building type-safe, modular systems
The rough Rust of this is https://github.com/hermit-os/hermit-rs
Though last I looked it wasn't nearly as mature as MirageOS.
-
Fomos: Experimental OS, Built with Rust
This seems to match the definition of a unikernel. Here is another one in Rust: https://github.com/hermit-os/hermit-rs
gilbraltar
-
Mirage – A programming framework for building type-safe, modular systems
It is possible to run Mirage in ARM under for example KVM or using the seccomp target.
There is as well an experimental bare-metal target for raspberry pi 4 called gilbraltar https://github.com/dinosaure/gilbraltar. A big obstacle there is the device drivers. It is very cool to run bare metal on an rpi4, but it would be cool to be able use the network interface too.
What are some alternatives?
unikraft - A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.
solo5 - A sandboxed execution environment for unikernels
nanos - A kernel designed to run one and only one application in a virtualized environment
HaLVM - The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
Sapphire - An x86 Operating System in Rust and Assembly
unik - The Unikernel & MicroVM Compilation and Deployment Platform
Theseus - Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.
stardust-oxide - Rust-based Unikernel
mirage - MirageOS is a library operating system that constructs unikernels
bootimage - Tool to create bootable disk images from a Rust OS kernel.