Alternatives and similar repositories for NOVA:

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

• kernkonzept / fiasco
  The development version of the L4Re Microkernel
  ☆116Updated this week
• kernkonzept / l4re-core
  The core components of the L4Re operating system.
  ☆85Updated this week
• l4ka / pistachio
  L4Ka::Pistachio micro-kernel
  ☆277Updated 5 years ago
• Bareflank / MicroV
  A micro hypervisor for running micro VMs
  ☆256Updated 7 months ago
• xvisor / xvisor
  Xvisor: eXtensible Versatile hypervISOR
  ☆565Updated last month
• cyberus-technology / hedron
  The Hedron Microhypervisor
  ☆78Updated last year
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 7 years ago
• ashwio / arm64-hypervisor-tutorial
  ☆103Updated 6 years ago
• CTSRD-CHERI / cheribsd
  FreeBSD adapted for CHERI-RISC-V and Arm Morello.
  ☆175Updated this week
• genodelabs / genode
  Genode OS Framework
  ☆1,109Updated this week
• airbus-seclab / ramooflax
  a bare metal (type 1) VMM (hypervisor) with a python remote control API
  ☆181Updated 7 years ago
• unikernelLinux / ukl
  Unikernel Linux
  ☆187Updated last week
• Nils-TUD / Escape
  Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
  ☆197Updated last year
• chillancezen / ZeldaOS.x86_64
  64bit bare metal hypervisor built from scratch with Intel VT-x
  ☆91Updated 4 years ago
• jyao1 / STM
  ☆70Updated 4 years ago
• vishmohan / vmlaunch
  Simple Driver code for vmlaunch
  ☆159Updated 7 years ago
• rohaaan / hypervisor-for-beginners
  Intel Vt-x/EPT based thin-hypervisor for windows with minimum possible code.
  ☆174Updated 7 years ago
• intel / vbh
  ☆90Updated 11 months ago
• david942j / kvm-kernel-example
  Examples for: Learning KVM - implement your own kernel
  ☆369Updated last year
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆52Updated last week
• kvmtool / kvmtool
  Stand-alone Native Linux KVM Tool repo
  ☆538Updated 5 months ago
• asamy / ksm
  A fast, hackable and simple x64 VT-x hypervisor for Windows and Linux. Builtin userspace sandbox and introspection engine.
  ☆846Updated 3 years ago
• dpw / kvm-hello-world
  A minimal kvm example
  ☆482Updated 2 years ago
• shubham0d / ProtoVirt
  An ongoing attempt to create own hypervisior from scratch in linux.
  ☆49Updated 3 years ago
• TUD-OS / M3
  Microkernel-based system for heterogeneous manycores
  ☆108Updated 4 years ago
• tzvisor / ltzvisor
  LTZVisor: a Lightweight TrustZone-assisted Hypervisor
  ☆80Updated 6 years ago
• soulxu / kvmsample
  minivm based on kvm
  ☆148Updated 9 months ago
• KVM-VMI / kvm-vmi
  KVM-based Virtual Machine Introspection
  ☆329Updated 4 months ago
• vathpela / gnu-efi
  My gnu-efi development tree.
  ☆72Updated last month
• lkvm / lkvm
  Native Linux KVM Tool
  ☆49Updated 9 years ago