Alternatives and similar repositories for valkyrie

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

• sysprog21 / kvm-host
  A minimalist type 2 hypervisor using Linux Kernel Virtual Machine (KVM)
  ☆175Updated 9 months ago
• GrassLab / osdi
  NCTU Operation System Design and Implementation
  ☆27Updated 5 years ago
• jserv / min-dl
  minimal dynamic linker implementation for ELF, supporting x86_64 and Arm/Aarch64
  ☆190Updated 7 years ago
• jserv / rv32jit
  JIT-accelerated RISC-V instruction set simulator
  ☆35Updated last year
• fgken / uefi-bootloader
  UEFI app to load ELF and Raw binary
  ☆30Updated 10 years ago
• jserv / mazu-editor
  a minimalist text editor with syntax highlight, copy/paste, and search
  ☆145Updated 2 weeks ago
• eecheng87 / ESCA
  Effective System Call Aggregation
  ☆39Updated 2 years ago
• sysprog21 / pitifulvm
  A shabby implementation of Java virtual machine in C
  ☆146Updated 3 years ago
• RinHizakura / raid-dbg
  raid is a GDB-like tiny debugger which is based on ptrace.
  ☆15Updated 3 years ago
• sysprog21 / khttpd
  An experimental HTTP server implemented as Linux kernel module
  ☆75Updated 2 months ago
• lovelessless99 / Just-In-Time-Compiler
  ☆21Updated 9 months ago
• DavidSpickett / BadgerKernel
  Multitasking kernel for Arm/Thumb/AArch64 targets.
  ☆49Updated 3 years ago
• sysprog21 / gameboy-emu
  An efficient and portable Game Boy emulator
  ☆36Updated last year
• sysprog21 / kecho
  A lightweight echo server implementation in Linux kernel mode
  ☆31Updated 3 months ago
• ria-jit / ria-jit
  Lightweight and performant dynamic binary translation for RISC–V code on x86–64
  ☆60Updated 4 years ago
• a-darwish / cuteOS
  A 64-bit SMP-safe kernel for the PC architecture.
  ☆88Updated 7 years ago
• eecheng87 / mode-switch-stat
  Minimal tool for measuring cost of mode switch
  ☆15Updated 4 years ago
• TebexPL / FAT32-Bootsector
  Bootsector loading binary file from FAT32 partition
  ☆23Updated 7 years ago
• sysprog21 / semu
  A minimalist RISC-V system emulator capable of running Linux kernel
  ☆272Updated last week
• GJDuck / BlueFat
  Fully Randomized Pointers
  ☆19Updated 3 months ago
• splitline / NYCU-Advanced-UNIX-Programming-2021
  大家快來抄作業 | 陽明交大高等 UNIX 程式設計
  ☆21Updated 3 years ago
• david942j / kvm-kernel-example
  Examples for: Learning KVM - implement your own kernel
  ☆378Updated 2 years ago
• sysprog21 / sehttpd
  A small and efficient web server with 1K lines of C code
  ☆88Updated 2 months ago
• josehu07 / hux-kernel
  The Hux x86 32-bit Toy Operating System Kernel (with full wiki pages as development tutorial)
  ☆69Updated 3 years ago
• stong / rustos-hv
  A simple Aarch64 hypervisor for Raspberry Pi
  ☆36Updated 5 years ago
• jserv / linsched
  Restoration of The Linux Scheduler Simulator (LinSched)
  ☆18Updated 4 years ago
• bet4it / gdbserver
  A tiny debugger implement the GDB Remote Serial Protocol. Can work on i386, x86_64, ARM and PowerPC.
  ☆170Updated 3 years ago
• d0iasm / book.rvemu
  The book "Writing a RISC-V Emulator from Scratch in 10 Steps".
  ☆129Updated 2 years ago
• chillancezen / ZeldaOS.x86_64
  64bit bare metal hypervisor built from scratch with Intel VT-x
  ☆97Updated 5 years ago
• FlorenceOS / BED
  Baremetal Embeddable Debugger
  ☆12Updated 3 years ago