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
• kesl / khypervisor
  ☆29Updated 9 years ago
• SCSLaboratory / BearOS
  The Bear Operating System
  ☆25Updated 7 years ago
• rprichard / pcboot
  BIOS-based boot menu and loader
  ☆16Updated 8 years ago
• Bareflank / extended_apis
  deprecated
  ☆46Updated 6 years ago
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆77Updated 7 years ago
• kushaldas / elfutils
  My elfutils fork
  ☆25Updated 12 years ago
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆20Updated 5 years ago
• uberspark / uberspark
  Modular Provable Security on Commodity System and Application Software Stacks
  ☆13Updated 3 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
• intel / ikgt-core
  Intel Kernel Guard Technology Core Repo
  ☆55Updated 11 months ago
• KVM-VMI / kvm
  Fork of KVM with Virtual Machine Introspection patches
  ☆36Updated last year
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆46Updated 2 weeks ago
• mythril-hypervisor / mythril
  A hypervisor written in rust
  ☆55Updated 2 years ago
• ashwio / arm64-hypervisor-tutorial
  ☆103Updated 6 years ago
• radareorg / libdemangle
  A simple library focusing on demangling symbols for different programing languages
  ☆43Updated 4 years ago
• robgjansen / elf-loader
  Fork of http://code.nsnam.org/thehajime/elf-loader/ for unlimited dlmopen namespaces
  ☆20Updated last year
• S2E / libcpu
  x86 Dynamic Binary Translator Library
  ☆34Updated 4 years ago
• simutrace / simutrace
  Tracing framework for full system simulators
  ☆55Updated 9 years ago
• rcore-os / rboot
  The x86_64 UEFI bootloader for rCore
  ☆43Updated 2 years ago
• S2E / libtcg
  Tiny Code Generator Library
  ☆46Updated 4 years ago
• jyao1 / STM
  ☆70Updated 4 years ago
• Bareflank / hyperkernel
  deprecated
  ☆19Updated 6 years ago
• finixbit / ltrace
  Simple Library calls tracer
  ☆22Updated 7 years ago
• Qubasa / perf_kernel
  Multicore x64 kernel with a focus on introspection and debugging capabilities.
  ☆61Updated 9 months ago
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 7 years ago
• gtcasl / qsim
  QEMU based emulation library for micro-architectural simulation (ARM64 and x86)
  ☆40Updated 5 years ago
• acama / libxdisasm
  Simple and small library that allows disassembly of raw bytes for multiple architectures
  ☆29Updated last year
• nccgroup / xendbg
  A feature-complete reference implementation of a modern Xen VMI debugger. ARCHIVED: Development continues at https://github.com/spencermi…
  ☆77Updated 4 years ago