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.
  ☆429Updated 2 months ago
• xr0-org / xr0
  The Xr0 Verifier for C
  ☆205Updated 8 months ago
• yomaytk / elfconv
  AOT binary translator of Linux/ELF → WebAssembly
  ☆320Updated last week
• google / alioth
  Experimental Type-2 hypervisor, written from scratch in Rust, runs on Linux and macOS.
  ☆319Updated this week
• JGiraldo29 / vekos
  Source tree for the Verified Experimental Kernel Operating System, or VEKOS.
  ☆212Updated 4 months ago
• LawrenceHunter / SentinelBoot
  A demonstrative cryptographically secure RISC-V bootloader written in Rust for a final year project at The University of Manchester
  ☆67Updated last year
• bootreer / vroom
  userspace nvme driver
  ☆108Updated 6 months ago
• mathetake / tvisor
  tvisor is a tiny 100% userspace syscall interception framework
  ☆45Updated last year
• ashtonsix / perf-portfolio
  HPC research and demonstrations
  ☆111Updated 3 weeks ago
• TimMisiak / dbgrs
  A windows debugger written in Rust, for educational purposes
  ☆161Updated last year
• kevin-lesenechal / elf-info
  Inspect and dissect an ELF file with pretty formatting.
  ☆116Updated last year
• whitequark / superlinker
  a tool for reinterpreting ELF executables and shared libraries
  ☆343Updated last year
• dancrossnyc / rxv64
  xv6 OS
  ☆246Updated 3 months ago
• popovicu / zig-time-sharing-kernel
  Minimal implementation of a time-sharing kernel on RISC-V, implemented in Zig, on top of OpenSBI
  ☆201Updated 3 months ago
• microsoft / elfcore
  A Rust crate for creating memory dumps of running processes on Linux
  ☆64Updated 7 months ago
• shadyfennec / stupidalloc
  A stupid Rust memory allocator
  ☆194Updated 10 months ago
• tosc-rs / mnemos
  An Operating System for Building Small Computers
  ☆298Updated 11 months ago
• qemu-rs / qemu-rs
  QEMU for Rust, and Rust for QEMU
  ☆85Updated last month
• Askannz / munal-os
  An experimental operating system fully written in Rust, with a unikernel design, cooperative scheduling and a security model based on WAS…
  ☆800Updated 6 months ago
• mebeim / linux-syscalls
  🌐🐧 Browsable Linux kernel syscall tables built with Systrack (https://github.com/mebeim/systrack)
  ☆211Updated 3 months ago
• arjunr2 / WALI
  A low-level virtualization interface for Linux-based systems using WebAssembly
  ☆167Updated this week
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆278Updated this week
• SamGinzburg / VectorVisor
  VectorVisor is a vectorizing binary translator for GPUs, designed to make it easy to run many copies of a single-threaded WebAssembly pro…
  ☆158Updated last year
• sisshiki1969 / monoasm
  In-memory x86-64 assembler for JIT compiler.
  ☆78Updated 8 months ago
• rex-rs / rex
  Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF…
  ☆469Updated this week
• andrewhalle / byo-linker
  Build your own - linker
  ☆212Updated 4 years ago
• tomhea / c2fj
  Compiling C to FlipJump
  ☆96Updated 11 months ago
• hermit-os / loader
  The Hermit bootloader.
  ☆81Updated this week
• microsoft / igvm
  ☆118Updated 2 weeks ago
• ColinFinck / ntfs
  An implementation of the NTFS filesystem in a Rust crate, usable from firmware level up to user-mode.
  ☆578Updated last year