Alternatives and similar repositories for qemu-insides:

Users that are interested in qemu-insides are comparing it to the libraries listed below

• pronesto / DCC888
  ☆22Updated last week
• unikraft / app-elfloader
  Load and execute Linux ELF binaries
  ☆34Updated this week
• nbdd0121 / r2vm
  Rust RISC-V Virtual Machine
  ☆97Updated 5 months ago
• seL4 / sel4bench
  sel4 benchmarking applications and support library.
  ☆20Updated last month
• mit-pdos / ward
  ☆30Updated 3 years ago
• tarides / compiler-hacking
  Compiler Hacking Sessions Information
  ☆11Updated 2 years ago
• dhilst / vlisp
  VimL lisp evaluator
  ☆10Updated 3 years ago
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆131Updated 2 weeks ago
• mirage / mirage-crypto
  Cryptographic primitives for OCaml, in OCaml (also used in MirageOS)
  ☆78Updated 3 weeks ago
• lucypa / sDDF
  seL4 Device Driver Framework
  ☆23Updated last year
• CTSRD-CHERI / cherios
  CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities
  ☆40Updated 2 years ago
• seL4 / camkes-vm-examples
  ☆17Updated 3 weeks ago
• patricoferris / riscv-o-spec
  An OCaml extension for RISC-V
  ☆16Updated 4 years ago
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆53Updated 3 weeks ago
• seL4 / rumprun
  The Rumprun unikernel and toolchain for various platforms
  ☆10Updated 9 months ago
• vincenthouyi / LakeOS
  A L4-like micro-kernel OS written in Rust
  ☆62Updated last year
• xThaid / fpga-lb
  A toy L4 load balancer running on FPGA
  ☆18Updated 3 years ago
• hermit-os / hermit-playground
  A playground to build C/C++/Go/Fortran applications on top of RustyHermit
  ☆34Updated 9 months ago
• infoslack / awesome-unikernels
  A list about Unikernels
  ☆113Updated last year
• EduardoRFS / thing
  A programming language, aka a THING
  ☆10Updated 4 years ago
• PLSysSec / veriwasm
  SFI verifier of Wasm binaries
  ☆81Updated 2 years ago
• seL4 / rumprun-sel4-demoapps
  Apps for running with the rumprun unikernel on seL4.
  ☆33Updated 2 weeks ago
• nanvix / nanvix
  Microkernel-Based Research Operating System
  ☆157Updated this week
• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆112Updated this week
• EduardoRFS / youtube-channel
  ☆48Updated 2 years ago
• rust-vmm / vm-device
  ☆35Updated last year
• sgmarz / riscv_msi
  Message Signaled Interrupts for RISC-V
  ☆25Updated 7 months ago
• kvm-riscv / linux
  Linux KVM RISC-V repo
  ☆56Updated this week
• SEL4PROJ / AOS
  Advanced Operating Systems project
  ☆20Updated 7 months ago
• seL4 / capdl
  Capability Distribution Language tools for seL4
  ☆35Updated last month