solo5
hermit-rs
| solo5 | hermit-rs | |
|---|---|---|
| 4 | 3 | |
| 868 | 1,589 | |
| 0.8% | 1.8% | |
| 5.8 | 9.2 | |
| 13 days ago | 9 days ago | |
| C | Rust | |
| ISC License | Apache License 2.0 |
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.
solo5
-
Mirage – A programming framework for building type-safe, modular systems
What you already can do is attaching gdb -- either live or at a core dump. Please see https://github.com/Solo5/solo5/blob/master/docs/debugging.md for detailed instructions ;)
What you as well can do is record-replay -- well, at least there used to be this option, I'm now lost whether it has never been merged anywhere, or it is stuck in some PR somewhere. This was truly great - since the external interface is so thin, it is easily doable to dump all external events (API calls and returns) onto disk and replay one-by-one, inspecting the state.
- MirageOS v4.0.0 published: self-managed internet infrastructure with unikernels
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
What are some alternatives?
wiser - :racehorse: Extremely minimal vmm for linux written in C. Hopefully someday will spin linux-vm for you.
unikraft - A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.
Hypervisor-From-Scratch - Source code of a multiple series of tutorials about the hypervisor. Available at: https://rayanfam.com/tutorials
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
unikernels - MirageOS unikernels
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.
app-llama2-c - Llama 2 Everywhere (L2E)
stardust-oxide - Rust-based Unikernel
cosmopolitan - build-once run-anywhere c library
mirage - MirageOS is a library operating system that constructs unikernels