Alternatives and similar repositories for MayOS

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

• KuangjuX / hypercraft
  hypercraft is a VMM library written in Rust.
  ☆51Updated 8 months ago
• miaochenlu / arch_sec_papers
  ☆15Updated 3 months ago
• lsds / intravisor
  Virtualisation platform using CHERI for isolation and sharing
  ☆40Updated last year
• PragmaTwice / codepunk
  [WIP] Interval Analysis on LLVM IR
  ☆12Updated 5 years ago
• SoftSec-KAIST / SURI
  Towards Sound Reassembly of Modern x86-64 Binaries (ASPLOS'25)
  ☆15Updated 3 months ago
• ShaoxunZeng / DKernel-Plus
  A Debuggable Kernel environment Plus a software collection
  ☆62Updated 3 years ago
• mars-research / lvd-bflank
  ☆12Updated 3 years ago
• tqyaaaaang / Hyper-OS
  Operating System Simulator
  ☆19Updated 6 years ago
• blu / elvenrel
  Elven relativism -- relocation and execution of aarch64 ELF relocatable objects (ET_REL)
  ☆20Updated last week
• e2tools / e2tools
  A simple set of GPL'ed utilities to read, write, and manipulate files in an ext2/ext3 filesystem.
  ☆34Updated 9 months ago
• sailfish009 / hqemu
  HQEMU v2.5.1 is a retargetable and multi-threaded dynamic binary translator on multicores
  ☆22Updated 7 years ago
• zhou-yuxin / kvm-ept-sample
  A tool to sample a QEMU-KVM's memory access pattern at page level based on Intel VT-x
  ☆21Updated 6 years ago
• atrosinenko / memtest86-plus-riscv
  Port of original MemTest86+ v5.1 to other architectures (RISC-V for now)
  ☆16Updated 5 years ago
• pipcet / pearl
  GNU/Linux on Apple M1 hardware
  ☆36Updated 2 years ago
• Phantom1003 / QARMA64
  QARMA block cipher in C
  ☆30Updated 2 years ago
• Martins3 / loongson-dune
  Process virtualization based on KVM. More useable, stable and practical than Stanford Dune.
  ☆21Updated 2 years ago
• tobiasgrosser / polyhedral.info
  ☆20Updated 2 years ago
• FPSG-UIUC / augury
  Using Data Memory-Dependent Prefetchers to Leak Data at Rest
  ☆36Updated 2 years ago
• bIgBV / xv6-virtio
  A virtio layer for xv6
  ☆11Updated 6 years ago
• shacron / sled
  Sled System Emulator
  ☆28Updated 2 months ago
• MaskRay / picolld
  A stripped-down LLD (LLVM linker)
  ☆29Updated 5 years ago
• sonicyang / KML
  Kernel-Mode-Linux
  ☆24Updated 2 years ago
• zhangxin00 / segscope
  Proof-of-concept implementation for the paper "SegScope: Probing Fine-grained Interrupts via Architectural Footprints" (HPCA'24)
  ☆19Updated 6 months ago
• flylai / cyx2
  Compiler and VM(interpreter), Using SSA form and doing some optimizations.
  ☆37Updated 3 years ago
• PKU-ASAL / PKUWA
  ☆13Updated this week
• JulesWang / JOS-vmx
  Virtual Machine eXtension for JOS
  ☆23Updated 11 years ago
• oscomp / proj148-RDMA-Driver-Rust-eBPF
  基于Rust和eBPF实现RDMA内核模块、驱动
  ☆20Updated 3 years ago
• mit-pdos / ward
  ☆30Updated 3 years ago
• hasanmdme / decap
  This tool set can generate required capabilities for binaries. A system call to capability mapping is used to assign capability to the bi…
  ☆14Updated 2 years ago
• jimix / k42
  K42 Kernel
  ☆28Updated 13 years ago