Alternatives and similar repositories for NOVA

Users that are interested in NOVA are comparing it to the libraries listed below

• Bareflank / MicroV
  A micro hypervisor for running micro VMs
  ☆263Updated last year
• chillancezen / ZeldaOS.x86_64
  64bit bare metal hypervisor built from scratch with Intel VT-x
  ☆97Updated 5 years ago
• xvisor / xvisor
  Xvisor: eXtensible Versatile hypervISOR
  ☆588Updated 2 weeks ago
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 7 years ago
• kernkonzept / fiasco
  The development version of the L4Re Microkernel
  ☆141Updated last week
• l4ka / pistachio
  L4Ka::Pistachio micro-kernel
  ☆287Updated 5 years ago
• cyberus-technology / hedron
  The Hedron Microhypervisor
  ☆82Updated last year
• ashwio / arm64-hypervisor-tutorial
  ☆111Updated 6 years ago
• kernkonzept / l4re-core
  The core components of the L4Re operating system.
  ☆92Updated last week
• tzvisor / ltzvisor
  LTZVisor: a Lightweight TrustZone-assisted Hypervisor
  ☆81Updated 7 years ago
• gwsystems / composite
  A component-based OS
  ☆190Updated 7 months ago
• jyao1 / STM
  ☆70Updated 5 years ago
• shubham0d / ProtoVirt
  An ongoing attempt to create own hypervisior from scratch in linux.
  ☆52Updated 3 years ago
• KVM-VMI / kvm-vmi
  KVM-based Virtual Machine Introspection
  ☆348Updated 10 months ago
• dpw / kvm-hello-world
  A minimal kvm example
  ☆496Updated 3 years ago
• TUD-OS / libelkvm
  A library that allows execution of an ELF binary inside a virtual machine without a full-scale operating system
  ☆23Updated 10 years ago
• rohaaan / hypervisor-for-beginners
  Intel Vt-x/EPT based thin-hypervisor for windows with minimum possible code.
  ☆176Updated 7 years ago
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆55Updated last month
• uberspark / uberxmhf
  uber eXtensible Micro-Hypervisor Framework
  ☆33Updated last year
• soulxu / kvmsample
  minivm based on kvm
  ☆153Updated last year
• avpatel / xvisor-next
  Xvisor: eXtensible Versatile hypervISOR
  ☆89Updated 4 months ago
• intel / vbh
  ☆93Updated last year
• BarrelfishOS / barrelfish
  Mirror of the official Barrelfish OS repository.
  ☆209Updated 2 years ago
• vishmohan / vmlaunch
  Simple Driver code for vmlaunch
  ☆160Updated 8 years ago
• thinkcz / DrawBridge
  Research on DrawBridge Library OS, which is base building block for MSSQL on Linux
  ☆22Updated 7 years ago
• david942j / kvm-kernel-example
  Examples for: Learning KVM - implement your own kernel
  ☆379Updated 2 years ago
• airbus-seclab / ramooflax
  a bare metal (type 1) VMM (hypervisor) with a python remote control API
  ☆183Updated 7 years ago
• levex / kernel-qemu-pci
  Creating a custom PCI device in QEMU and a module for it in the Linux kernel.
  ☆97Updated 11 years ago
• iankronquist / rustyvisor
  A hypervisor written in Rust.
  ☆125Updated 3 years ago
• matsu / bitvisor
  A git clone of the official mercurial repository
  ☆90Updated last month