Alternatives and similar repositories for NOVA

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

• nfeske / genode-manual
  Reference manual for the Genode OS Framework
  ☆24Updated 2 weeks ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• kernkonzept / fiasco
  The development version of the L4Re Microkernel
  ☆132Updated this week
• avpatel / xvisor-next
  Xvisor: eXtensible Versatile hypervISOR
  ☆88Updated 2 months ago
• kernkonzept / l4re-core
  The core components of the L4Re operating system.
  ☆89Updated this week
• genodelabs / genode-allwinner
  Allwinner SoC support for the Genode OS framework
  ☆16Updated 3 weeks ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆47Updated this week
• kernkonzept / uvmm
  Virtual machine monitor for L4Re
  ☆31Updated this week
• TUD-OS / seoul
  A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
  ☆44Updated 3 years ago
• genodelabs / genodians.org
  Website for stories around the Genode operating system
  ☆17Updated 2 weeks ago
• aik / SLOF
  Slimline Open Firware - an implementation of IEEE1275 Open Firmware for some POWER ISA systems
  ☆40Updated 7 months ago
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆58Updated 3 weeks ago
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆34Updated 9 years ago
• udosteinberg / NOVA
  NOVA Microhypervisor
  ☆401Updated last month
• jtcriswell / SVA
  Secure Virtual Architecture
  ☆42Updated 6 years ago
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆40Updated 2 years ago
• 3mdeb / openpower-coreboot-docs
  Documentation related to POWER9 coreboot porting effort
  ☆13Updated 2 years ago
• open-power / pdbg
  PowerPC FSI Debugger
  ☆18Updated last week
• skalk / genode
  Genode OS Framework
  ☆17Updated last week
• TUD-OS / NRE
  NOVA runtime environment (official branch)
  ☆34Updated 3 years ago
• ibm-research / fusedos
  ☆52Updated 10 years ago
• jyao1 / STM
  ☆70Updated 5 years ago
• ptresearch / IntelVISA-BH2019
  ☆29Updated 6 years ago
• danluu / secvisor-formal-verification
  Formal verification of SecVisor, a secure hypervisor
  ☆12Updated 12 years ago
• rustyrussell / virtio-spec
  Virtio draft specification
  ☆65Updated 11 years ago
• coreboot / serialice
  SerialICE is a flexible, software based system software debugger
  ☆32Updated 2 years ago
• TrenchBoot / documentation
  ☆40Updated 6 months ago
• l4ka / pistachio
  L4Ka::Pistachio micro-kernel
  ☆283Updated 5 years ago
• pdumais / OperatingSystem
  my homebrew OS
  ☆33Updated 4 years ago
• PSPReverse / psp-apps
  Custom PSP app framework
  ☆15Updated 4 years ago