Alternatives and similar repositories for mini-os:

Users that are interested in mini-os are comparing it to the libraries listed below

• llubu / Hypervisor
  Hypervisor implementation for x86_64 ISA MIT JOS
  ☆33Updated 10 years ago
• rprichard / pcboot
  BIOS-based boot menu and loader
  ☆16Updated 8 years ago
• kesl / khypervisor
  ☆29Updated 9 years ago
• jiazhang0 / SELoader
  Secure EFI Loader designed to authenticate the non-PE files
  ☆48Updated 2 years ago
• gamozolabs / riscv
  A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt
  ☆29Updated 5 years ago
• Qubasa / perf_kernel
  Multicore x64 kernel with a focus on introspection and debugging capabilities.
  ☆61Updated 8 months ago
• Bareflank / extended_apis
  deprecated
  ☆46Updated 5 years ago
• blitz / baresifter
  A bare-metal x86 instruction set fuzzer a la Sandsifter
  ☆65Updated last year
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆77Updated 7 years ago
• rhdrjones / kvm-unit-tests
  Unit tests for the kernel virtual machine (KVM)
  ☆14Updated 4 years ago
• SCSLaboratory / BearOS
  The Bear Operating System
  ☆24Updated 7 years ago
• mikemccormack / ring3k
  A Linux based Windows compatible user mode kernel
  ☆58Updated 15 years ago
• S2E / libcpu
  x86 Dynamic Binary Translator Library
  ☆34Updated 4 years ago
• cyberus-technology / hedron
  The Hedron Microhypervisor
  ☆78Updated last year
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆46Updated last week
• radareorg / libdemangle
  A simple library focusing on demangling symbols for different programing languages
  ☆43Updated 4 years ago
• fgken / uefi-bootloader
  UEFI app to load ELF and Raw binary
  ☆29Updated 9 years ago
• chillancezen / Zelda.RISCV.Emulator
  A System Level RISCV32 Emulator Over x86_64: capable of booting RISCV Linux
  ☆26Updated 3 years ago
• finixbit / ltrace
  Simple Library calls tracer
  ☆22Updated 7 years ago
• ashwio / arm64-hypervisor-tutorial
  ☆102Updated 6 years ago
• intel / ikgt-core
  Intel Kernel Guard Technology Core Repo
  ☆55Updated 11 months ago
• Bareflank / boxy
  bareflank based hypervisor with guest support
  ☆60Updated 4 years ago
• simutrace / simutrace
  Tracing framework for full system simulators
  ☆55Updated 9 years ago
• S2E / libs2e
  libs2e.so
  ☆20Updated 4 years ago
• chillancezen / ZeldaOS.x86_64
  64bit bare metal hypervisor built from scratch with Intel VT-x
  ☆90Updated 4 years ago
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆20Updated 5 years ago
• rust-vmm / mshv
  Crates for Microsoft Hypervisor ioctls and bindings
  ☆33Updated this week
• rcore-os / rboot
  The x86_64 UEFI bootloader for rCore
  ☆43Updated 2 years ago
• frdwarf / dwarf-assembly
  ☆19Updated 5 years ago
• Bareflank / hyperkernel
  deprecated
  ☆19Updated 6 years ago