udosteinberg / NOVA
NOVA Microhypervisor
☆389Updated last week
Alternatives and similar repositories for NOVA:
Users that are interested in NOVA are comparing it to the libraries listed below
- The development version of the L4Re Microkernel☆114Updated last week
- A micro hypervisor for running micro VMs☆256Updated 6 months ago
- Xvisor: eXtensible Versatile hypervISOR☆565Updated last month
- L4Ka::Pistachio micro-kernel☆276Updated 5 years ago
- The core components of the L4Re operating system.☆82Updated last week
- ☆102Updated 6 years ago
- 64bit bare metal hypervisor built from scratch with Intel VT-x☆90Updated 4 years ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆52Updated last week
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 6 years ago
- The Hedron Microhypervisor☆78Updated last year
- Microkernel-based system for heterogeneous manycores☆108Updated 4 years ago
- Genode OS Framework☆1,107Updated this week
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆197Updated last year
- ☆70Updated 4 years ago
- My gnu-efi development tree.☆72Updated last month
- KVM-based Virtual Machine Introspection☆327Updated 4 months ago
- ☆90Updated 11 months ago
- minivm based on kvm☆147Updated 9 months ago
- bareflank based hypervisor with guest support☆60Updated 4 years ago
- Intel Vt-x/EPT based thin-hypervisor for windows with minimum possible code.☆171Updated 7 years ago
- A minimal kvm example☆479Updated 2 years ago
- A fast, hackable and simple x64 VT-x hypervisor for Windows and Linux. Builtin userspace sandbox and introspection engine.☆842Updated 3 years ago
- A component-based OS☆190Updated last month
- Xvisor: eXtensible Versatile hypervISOR☆88Updated last month
- Native Linux KVM Tool☆49Updated 9 years ago
- a bare metal (type 1) VMM (hypervisor) with a python remote control API☆181Updated 7 years ago
- Examples for: Learning KVM - implement your own kernel☆370Updated last year
- An ongoing attempt to create own hypervisior from scratch in linux.☆49Updated 3 years ago
- Simple Driver code for vmlaunch☆159Updated 7 years ago
- Akaros Operating System☆316Updated 3 years ago