gilbraltar
solo5
| gilbraltar | solo5 | |
|---|---|---|
| 1 | 4 | |
| 57 | 876 | |
| - | 1.6% | |
| 10.0 | 5.8 | |
| over 1 year ago | 7 days ago | |
| C | C | |
| ISC 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.
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.
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?
HaLVM - The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
wiser - :racehorse: Extremely minimal vmm for linux written in C. Hopefully someday will spin linux-vm for you.
unik - The Unikernel & MicroVM Compilation and Deployment Platform
Hypervisor-From-Scratch - Source code of a multiple series of tutorials about the hypervisor. Available at: https://rayanfam.com/tutorials
unikraft - A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.
unikernels - MirageOS unikernels
app-llama2-c - Llama 2 Everywhere (L2E)
cosmopolitan - build-once run-anywhere c library
nanos - A kernel designed to run one and only one application in a virtualized environment
unikernels - MirageOS unikernels