HaLVM
solo5
HaLVM | solo5 | |
---|---|---|
4 | 4 | |
1,014 | 869 | |
- | 0.8% | |
10.0 | 5.8 | |
over 5 years ago | 11 days ago | |
Haskell | C | |
BSD 3-clause "New" or "Revised" License | 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.
HaLVM
- Mirage – A programming framework for building type-safe, modular systems
- Ask HN: Operating Systems built with functional languages?
- Haskell Lightweight Virtual Machine: GHC Running on Xen
-
Monthly Hask Anything (December 2021)
HalVM (High-assurance Lightweight Virtual Machine) was a Unikernel. It could compile Haskell programs to run as VMs on the Xen ABI.
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
What are some alternatives?
mirage - MirageOS is a library operating system that constructs unikernels
wiser - :racehorse: Extremely minimal vmm for linux written in C. Hopefully someday will spin linux-vm for you.
gilbraltar - MirageOS on RPi4
Hypervisor-From-Scratch - Source code of a multiple series of tutorials about the hypervisor. Available at: https://rayanfam.com/tutorials
ghc-proposals - Proposed compiler and language changes for GHC and GHC/Haskell
unikernels - MirageOS unikernels
Mezzano - An operating system written in Common Lisp
app-llama2-c - Llama 2 Everywhere (L2E)
hermit-rs - Hermit for Rust.
cosmopolitan - build-once run-anywhere c library
nanos - A kernel designed to run one and only one application in a virtualized environment
unikraft - A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.