solo5
wiser
solo5 | wiser | |
---|---|---|
4 | 8 | |
868 | 259 | |
0.7% | - | |
5.8 | 0.0 | |
13 days ago | over 2 years ago | |
C | C | |
ISC License | GNU General Public License v3.0 only |
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
wiser
- Wiser – minimal hypervisor boots Linux VM. Written in C
- Minimal Type-2 Hyperviser for Linux written in C.
- Minimal type-2 hypervisor for linux written in C.
- Minimal type-2 hypervisor for Linux written in C
- Tiny type-2 Linux hypervisor built using Linux/KVM.
- Tiny type-2 Linux hypervisor built using Linux/KVM. In in C.
- Show HN: Tiny type-2 Linux hypervisor built using Linux/KVM. In in C
What are some alternatives?
Hypervisor-From-Scratch - Source code of a multiple series of tutorials about the hypervisor. Available at: https://rayanfam.com/tutorials
raspberry-pi-os - Learning operating system development using Linux kernel and Raspberry Pi
HaLVM - The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
lkrg - Linux Kernel Runtime Guard
unikernels - MirageOS unikernels
jailhouse - Linux-based partitioning hypervisor
app-llama2-c - Llama 2 Everywhere (L2E)
winix - A UNIX-style Operating System for the Waikato RISC Architecture Microprocessor (WRAMP)
cosmopolitan - build-once run-anywhere c library
kvm-guest-drivers-windows - Windows paravirtualized drivers for QEMU\KVM
nanos - A kernel designed to run one and only one application in a virtualized environment
phantomuserland - Phantom: Persistent Operating System