udosteinberg / NOVALinks
NOVA Microhypervisor
☆417Updated last month
Alternatives and similar repositories for NOVA
Users that are interested in NOVA are comparing it to the libraries listed below
Sorting:
- A micro hypervisor for running micro VMs☆262Updated last year
- Xvisor: eXtensible Versatile hypervISOR☆589Updated 3 months ago
- 64bit bare metal hypervisor built from scratch with Intel VT-x☆95Updated 5 years ago
- An ongoing attempt to create own hypervisior from scratch in linux.☆52Updated 3 years ago
- The Hedron Microhypervisor☆81Updated last year
- The development version of the L4Re Microkernel☆140Updated last week
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 7 years ago
- L4Ka::Pistachio micro-kernel☆286Updated 5 years ago
- ☆70Updated 5 years ago
- ☆110Updated 6 years ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆55Updated last month
- KVM-based Virtual Machine Introspection☆347Updated 9 months ago
- A git clone of the official mercurial repository☆89Updated 3 weeks ago
- ☆93Updated last year
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆181Updated this week
- The core components of the L4Re operating system.☆92Updated last week
- a bare metal (type 1) VMM (hypervisor) with a python remote control API☆183Updated 7 years ago
- bareflank based hypervisor with guest support☆60Updated 4 years ago
- Xvisor: eXtensible Versatile hypervISOR☆89Updated 4 months ago
- Simple Driver code for vmlaunch☆160Updated 8 years ago
- Intel Vt-x/EPT based thin-hypervisor for windows with minimum possible code.☆177Updated 7 years ago
- uber eXtensible Micro-Hypervisor Framework☆31Updated last year
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆80Updated 7 years ago
- A library that allows execution of an ELF binary inside a virtual machine without a full-scale operating system☆23Updated 10 years ago
- Fork of KVM with Virtual Machine Introspection patches☆37Updated last year
- QEMU-based fault injection☆27Updated 3 years ago
- Mirror of the official Barrelfish OS repository.☆209Updated 2 years ago
- Kernel Test Framework☆145Updated 6 months ago
- A minimal kvm example☆493Updated 3 years ago
- Genode OS Framework☆1,140Updated this week