Alternatives and similar repositories for NOVA

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

• l4ka / pistachio
  L4Ka::Pistachio micro-kernel
  ☆295Updated 6 years ago
• udosteinberg / NOVA
  NOVA Microhypervisor
  ☆442Updated 2 months ago
• kernkonzept / fiasco
  The development version of the L4Re Microkernel
  ☆157Updated this week
• xvisor / xvisor
  Xvisor: eXtensible Versatile hypervISOR
  ☆602Updated 2 months ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 12 years ago
• Nils-TUD / Escape
  Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
  ☆200Updated 6 months ago
• TUD-OS / M3
  Microkernel-based system for heterogeneous manycores
  ☆113Updated 5 years ago
• kernkonzept / l4re-core
  The core components of the L4Re operating system.
  ☆101Updated this week
• nfeske / genode-manual
  Reference manual for the Genode OS Framework
  ☆24Updated 3 months ago
• tzvisor / ltzvisor
  LTZVisor: a Lightweight TrustZone-assisted Hypervisor
  ☆83Updated 7 years ago
• open-power / skiboot
  OPAL boot and runtime firmware for POWER
  ☆110Updated last month
• seL4 / sel4-tutorials
  Tutorials for working with seL4 and/or CAmkES.
  ☆59Updated 6 months ago
• CTSRD-CHERI / cheribsd
  FreeBSD adapted for CHERI-RISC-V and Arm Morello.
  ☆204Updated this week
• skalk / genode
  Genode OS Framework
  ☆17Updated last week
• microsoft / Komodo
  Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
  ☆110Updated 3 years ago
• avpatel / xvisor-next
  Xvisor: eXtensible Versatile hypervISOR
  ☆89Updated last month
• project-dune / dune
  ☆211Updated 3 years ago
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆64Updated last month
• jtcriswell / SVA
  Secure Virtual Architecture
  ☆42Updated 6 years ago
• brho / akaros
  Akaros Operating System
  ☆327Updated 3 years ago
• gwsystems / composite
  A component-based OS
  ☆199Updated this week
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆37Updated 10 years ago
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆42Updated 3 years ago
• BarrelfishOS / barrelfish
  Mirror of the official Barrelfish OS repository.
  ☆223Updated 3 years ago
• jserv / codezero
  Codezero Microkernel
  ☆111Updated last week
• ibm-research / fusedos
  ☆53Updated 11 years ago
• CTSRD-CHERI / cheribuild
  Easily build and run CHERI related projects
  ☆86Updated last week
• thepowersgang / acess2
  Acess2 Hobby Operating System
  ☆91Updated 2 years ago
• sslab-gatech / opensgx
  OpenSGX
  ☆305Updated 5 years ago
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆50Updated 10 months ago