bonzini / qbootLinks
Minimal x86 firmware for booting Linux kernels
☆716Updated 3 years ago
Alternatives and similar repositories for qboot
Users that are interested in qboot are comparing it to the libraries listed below
Sorting:
- The Rumprun unikernel and toolchain for various platforms☆1,158Updated 5 years ago
- Experimental KVM-based VMM for containers, written in Go.☆1,675Updated 5 years ago
- Linux kernel source tree☆861Updated 3 weeks ago
- A lightweight script-based dynamic tracing tool for Linux☆630Updated 7 years ago
- ARCHIVED: Modern Hypervisor for the Cloud. See https://github.com/cloud-hypervisor/cloud-hypervisor instead☆930Updated 4 years ago
- A minimal C runtime for Linux i386 & x86_64☆584Updated 3 years ago
- dtrace for linux - kernel driver and userland tools☆1,189Updated 6 years ago
- A lightweight sandbox tool for non-root users☆664Updated 7 years ago
- Hot patching executables on Linux using .so file injection☆369Updated 5 years ago
- Native Linux KVM tool☆157Updated 8 years ago
- Wiki for rump kernels☆462Updated 2 years ago
- A minimal kvm example☆497Updated 3 years ago
- FreeBSD src tree☆444Updated 3 years ago
- Stand-alone Native Linux KVM Tool repo☆588Updated 11 months ago
- The dissection of a simple "hello world" ELF binary.☆463Updated 4 years ago
- Some fun things you can do with kernel modules (all "bad ideas")☆441Updated 3 years ago
- A sandboxed execution environment for unikernels☆951Updated last week
- Kitsune runtime, driver, ktcc, xfgen, documentation, and test suite.☆165Updated 9 years ago
- Simple Driver code for vmlaunch☆160Updated 8 years ago
- The Elixir Cross Referencer☆1,103Updated 2 months ago
- kpatch - live kernel patching☆1,622Updated 2 weeks ago
- ☆233Updated 7 years ago
- Xvisor: eXtensible Versatile hypervISOR☆589Updated last month
- Kernel "dbus-like" code for the Linux kernel☆262Updated 8 years ago
- Akaros Operating System☆320Updated 3 years ago
- An easy way to virtualize the running system☆351Updated last year
- Linux-based partitioning hypervisor☆1,867Updated last year
- L4Ka::Pistachio micro-kernel☆288Updated 5 years ago
- BIOS Implementation Test Suite☆248Updated 3 years ago
- 386BSD☆625Updated 4 years ago