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.
  ☆402Updated this week
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆178Updated 6 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
• TimMisiak / dbgrs
  A windows debugger written in Rust, for educational purposes
  ☆160Updated last year
• yomaytk / elfconv
  AOT binary translator of Linux/ELF → (WebAssembly, ...)
  ☆283Updated this week
• JGiraldo29 / vekos
  Source tree for the Verified Experimental Kernel Operating System, or VEKOS.
  ☆209Updated 2 months ago
• bootreer / vroom
  userspace nvme driver
  ☆104Updated 3 months ago
• mathetake / tvisor
  tvisor is a tiny 100% userspace syscall interception framework
  ☆44Updated last year
• google / alioth
  Experimental Type-2 hypervisor, written from scratch in Rust, runs on Linux and macOS.
  ☆290Updated this week
• kevin-lesenechal / elf-info
  Inspect and dissect an ELF file with pretty formatting.
  ☆115Updated last year
• microsoft / elfcore
  A Rust crate for creating memory dumps of running processes on Linux
  ☆61Updated 4 months ago
• whitequark / superlinker
  a tool for reinterpreting ELF executables and shared libraries
  ☆330Updated 11 months ago
• novafacing / qemu-rs
  QEMU for Rust, and Rust for QEMU
  ☆79Updated last month
• mebeim / linux-syscalls
  🌐🐧 Browsable Linux kernel syscall tables built with Systrack (https://github.com/mebeim/systrack)
  ☆202Updated 2 weeks ago
• arighi / scx_rust_scheduler
  Template to implement Linux kernel schedulers in Rust running in user-space
  ☆26Updated 8 months ago
• dancrossnyc / rxv64
  xv6 OS
  ☆246Updated 3 weeks ago
• tomhea / c2fj
  Compiling C to FlipJump
  ☆94Updated 9 months ago
• andrewhalle / byo-linker
  Build your own - linker
  ☆207Updated 4 years ago
• arjunr2 / WALI
  A low-level virtualization interface for Linux-based systems using WebAssembly
  ☆153Updated this week
• sisshiki1969 / monoasm
  In-memory x86-64 assembler for JIT compiler.
  ☆77Updated 6 months ago
• hermit-os / hermit-playground
  A playground to build C/C++/Go/Fortran applications on top of RustyHermit
  ☆39Updated last year
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆274Updated this week
• ColinFinck / ntfs
  An implementation of the NTFS filesystem in a Rust crate, usable from firmware level up to user-mode.
  ☆569Updated last year
• popovicu / zig-time-sharing-kernel
  Minimal implementation of a time-sharing kernel on RISC-V, implemented in Zig, on top of OpenSBI
  ☆176Updated last month
• ashtonsix / perf-portfolio
  HPC research and demonstrations
  ☆101Updated this week
• Askannz / munal-os
  An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WAS…
  ☆784Updated 4 months ago
• libLISA / liblisa
  libLISA: Instruction Discovery and Analysis on x86-64
  ☆118Updated 8 months ago
• hermit-os / loader
  The Hermit bootloader.
  ☆79Updated last week
• rust-vmm / seccompiler
  Provides easy-to-use Linux seccomp-bpf jailing.
  ☆100Updated 3 weeks ago
• robalb / x86-64-playground
  An online assembly editor, emulator and debugger for the x86-64 architecture
  ☆298Updated last week