Alternatives and similar repositories for mini-os

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

• kesl / khypervisor
  ☆29Updated 9 years ago
• SCSLaboratory / BearOS
  The Bear Operating System
  ☆24Updated 7 years ago
• llubu / Hypervisor
  Hypervisor implementation for x86_64 ISA MIT JOS
  ☆33Updated 10 years ago
• robgjansen / elf-loader
  Fork of http://code.nsnam.org/thehajime/elf-loader/ for unlimited dlmopen namespaces
  ☆21Updated last year
• ssrg-vt / SlimGuard
  A Secure and Memory-Efficient Heap Allocator
  ☆33Updated 11 months ago
• Bareflank / extended_apis
  deprecated
  ☆46Updated 6 years ago
• Bareflank / hyperkernel
  deprecated
  ☆19Updated 6 years ago
• KVM-VMI / kvm
  Fork of KVM with Virtual Machine Introspection patches
  ☆36Updated last year
• intel / vbh
  ☆90Updated last year
• TUD-OS / seoul
  A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
  ☆44Updated 3 years ago
• rhdrjones / kvm-unit-tests
  Unit tests for the kernel virtual machine (KVM)
  ☆13Updated 4 years ago
• S2E / libs2e
  libs2e.so
  ☆20Updated 4 years ago
• rprichard / pcboot
  BIOS-based boot menu and loader
  ☆16Updated 8 years ago
• CoryXie / CellOS
  An Multiboot Compliant X64 SMP Operating Systems
  ☆14Updated 11 years ago
• uberspark / uberxmhf
  uber eXtensible Micro-Hypervisor Framework
  ☆31Updated 11 months ago
• jiazhang0 / SELoader
  Secure EFI Loader designed to authenticate the non-PE files
  ☆48Updated 2 years ago
• Bareflank / boxy
  bareflank based hypervisor with guest support
  ☆60Updated 4 years ago
• rcore-os / rboot
  The x86_64 UEFI bootloader for rCore
  ☆45Updated 2 years ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆48Updated last week
• S2E / libcpu
  x86 Dynamic Binary Translator Library
  ☆34Updated 4 years ago
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆77Updated 7 years ago
• dgreid / crosvm
  ☆54Updated 3 months ago
• jiajudu / sagiri
  x64 smp operating system
  ☆11Updated 5 years ago
• Qubasa / perf_kernel
  Multicore x64 kernel with a focus on introspection and debugging capabilities.
  ☆61Updated 11 months ago
• intel / ikgt-core
  Intel Kernel Guard Technology Core Repo
  ☆55Updated last year
• mythril-hypervisor / mythril
  A hypervisor written in rust
  ☆55Updated 2 years ago
• jdk8 / Hypro
  VMI on BitVisor to detect hidden rootkits.
  ☆26Updated 8 years ago
• cyberus-technology / hedron
  The Hedron Microhypervisor
  ☆78Updated last year
• stong / rustos-hv
  A simple Aarch64 hypervisor for Raspberry Pi
  ☆35Updated 4 years ago
• mikemccormack / ring3k
  A Linux based Windows compatible user mode kernel
  ☆58Updated 15 years ago