Alternatives and similar repositories for hypervisor-in-1000-lines

Users that are interested in hypervisor-in-1000-lines are comparing it to the libraries listed below

• starina-os / starina
  An experimental modern general-purpose microkernel OS.
  ☆420Updated last month
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆180Updated 7 months ago
• bootreer / vroom
  userspace nvme driver
  ☆106Updated 5 months ago
• google / alioth
  Experimental Type-2 hypervisor, written from scratch in Rust, runs on Linux and macOS.
  ☆308Updated 2 weeks ago
• yomaytk / elfconv
  AOT binary translator of Linux/ELF → (WebAssembly, ...)
  ☆299Updated last week
• kevin-lesenechal / elf-info
  Inspect and dissect an ELF file with pretty formatting.
  ☆115Updated last year
• JGiraldo29 / vekos
  Source tree for the Verified Experimental Kernel Operating System, or VEKOS.
  ☆208Updated 3 months ago
• LawrenceHunter / SentinelBoot
  A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
  ☆66Updated last year
• ashtonsix / perf-portfolio
  HPC research and demonstrations
  ☆109Updated last month
• mathetake / tvisor
  tvisor is a tiny 100% userspace syscall interception framework
  ☆44Updated last year
• qemu-rs / qemu-rs
  QEMU for Rust, and Rust for QEMU
  ☆80Updated 2 months ago
• shadyfennec / stupidalloc
  A stupid Rust memory allocator
  ☆194Updated 9 months ago
• whitequark / superlinker
  a tool for reinterpreting ELF executables and shared libraries
  ☆333Updated last year
• mebeim / linux-syscalls
  🌐🐧 Browsable Linux kernel syscall tables built with Systrack (https://github.com/mebeim/systrack)
  ☆204Updated last month
• tosc-rs / mnemos
  An Operating System for Building Small Computers
  ☆298Updated 10 months ago
• popovicu / zig-time-sharing-kernel
  Minimal implementation of a time-sharing kernel on RISC-V, implemented in Zig, on top of OpenSBI
  ☆192Updated 2 months ago
• dancrossnyc / rxv64
  xv6 OS
  ☆245Updated 2 months ago
• andrewhalle / byo-linker
  Build your own - linker
  ☆209Updated 4 years ago
• microsoft / igvm
  ☆114Updated last month
• microsoft / elfcore
  A Rust crate for creating memory dumps of running processes on Linux
  ☆61Updated 5 months ago
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆277Updated last week
• sisshiki1969 / monoasm
  In-memory x86-64 assembler for JIT compiler.
  ☆78Updated 7 months ago
• hermit-os / loader
  The Hermit bootloader.
  ☆79Updated last week
• robalb / x86-64-playground
  An online assembly editor, emulator and debugger for the x86-64 architecture
  ☆473Updated last week
• sunfishcode / c-ward
  An implementation of libc written in Rust
  ☆305Updated last month
• tomhea / c2fj
  Compiling C to FlipJump
  ☆95Updated 10 months ago
• ColinFinck / ntfs
  An implementation of the NTFS filesystem in a Rust crate, usable from firmware level up to user-mode.
  ☆574Updated last year
• mcy / vb64
  SIMD base64 codecs
  ☆88Updated last year
• graphitemaster / detour
  A detour through the Linux dynamic linker
  ☆454Updated 4 months ago
• tchajed / minimal-elf
  Creating a minimal ELF file
  ☆119Updated 6 months ago