Alternatives and similar repositories for quest:

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

• TUD-OS / M3
  Microkernel-based system for heterogeneous manycores
  ☆108Updated 4 years ago
• seL4 / camkes-vm
  Virtual Machine built as a CAmkES component.
  ☆23Updated this week
• seL4 / sel4-tutorials
  Tutorials for working with seL4 and/or CAmkES.
  ☆53Updated this week
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆33Updated 9 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆52Updated this week
• kernkonzept / l4re-core
  The core components of the L4Re operating system.
  ☆84Updated this week
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆58Updated last week
• westerndigitalcorporation / omnixtend
  An open standard Cache Coherent Fabric Interface repository
  ☆65Updated 5 years ago
• uw-unsat / hyperkernel
  ☆183Updated 5 years ago
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆40Updated 2 years ago
• CTSRD-CHERI / beri
  The BERI and CHERI processor and hardware platform
  ☆49Updated 7 years ago
• CoderionLabs / exoberry
  An exokernel for the raspberry pi 3.
  ☆80Updated 3 years ago
• lucypa / sDDF
  seL4 Device Driver Framework
  ☆23Updated last year
• gwsystems / composite
  A component-based OS
  ☆190Updated last month
• kernkonzept / fiasco
  The development version of the L4Re Microkernel
  ☆116Updated last week
• pretis / flexpret
  A time-predictable processor for mixed-criticality systems
  ☆58Updated 4 months ago
• jserv / codezero
  Codezero Microkernel
  ☆107Updated 3 years ago
• mit-pdos / ward
  ☆31Updated 3 years ago
• caparrov / ERM
  Extended Roofline Model - LLVM source tree with additional libraries for the analysis of the dynamic execution in the interpreter
  ☆17Updated 7 years ago
• CTSRD-CHERI / cheribsd
  FreeBSD adapted for CHERI-RISC-V and Arm Morello.
  ☆175Updated this week
• RIKEN-SysSoft / mckernel
  McKernel
  ☆115Updated 8 months ago
• CTSRD-CHERI / cheri-c-programming
  CHERI C/C++ Programming Guide
  ☆31Updated 3 weeks ago
• CTSRD-CHERI / llvm-project
  Fork of LLVM adding CHERI support
  ☆51Updated this week
• microsoft / Komodo
  Formally-verified reference monitor for a secure isolated execution ("enclave") environment on ARM TrustZone
  ☆105Updated 2 years ago
• avadhpatel / marss
  PTLsim and QEMU based Computer Architecture Research Simulator
  ☆128Updated 3 years ago
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆20Updated 6 months ago
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 5 years ago
• aclements / sv6
  POSIX-like scalable multicore research OS kernel
  ☆188Updated 4 years ago
• ARM-software / synchronization-benchmarks
  Collection of synchronization micro-benchmarks and traces from infrastructure applications
  ☆41Updated 2 months ago