udosteinberg / NOVA
NOVA Microhypervisor
☆378Updated this week
Related projects ⓘ
Alternatives and complementary repositories for NOVA
- Xvisor: eXtensible Versatile hypervISOR☆539Updated 3 months ago
- A micro hypervisor for running micro VMs☆253Updated 2 months ago
- The development version of the L4Re Microkernel☆105Updated last week
- Pedagogical Hypervisor, based on MIT JOS☆66Updated 6 years ago
- The core components of the L4Re operating system.☆75Updated last week
- L4Ka::Pistachio micro-kernel☆273Updated 5 years ago
- ☆100Updated 5 years ago
- 64bit bare metal hypervisor built from scratch with Intel VT-x☆84Updated 4 years ago
- The Hedron Microhypervisor☆75Updated last year
- ☆70Updated 4 years ago
- Simple Driver code for vmlaunch☆159Updated 7 years ago
- Genode OS Framework☆1,077Updated this week
- A component-based OS☆185Updated 2 months ago
- Xvisor: eXtensible Versatile hypervISOR☆88Updated 3 months ago
- KVM-based Virtual Machine Introspection☆311Updated last week
- a bare metal (type 1) VMM (hypervisor) with a python remote control API☆180Updated 6 years ago
- Stand-alone Native Linux KVM Tool repo☆519Updated last month
- ☆89Updated 7 months ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆52Updated 2 months ago
- minivm based on kvm☆143Updated 5 months ago
- Unikernel Linux☆180Updated last week
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆78Updated 6 years ago
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆168Updated this week
- Intel Kernel Guard Technology Core Repo☆55Updated 7 months ago
- ☆192Updated 2 years ago
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆192Updated last year
- Linux in Unikernel Clothing☆67Updated 3 years ago
- Flexible Virtualization Solution for Embedded System☆247Updated 8 months ago
- libipt - an Intel(R) Processor Trace decoder library☆666Updated 2 weeks ago