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
  ☆34Updated 11 years ago
• Bareflank / extended_apis
  deprecated
  ☆46Updated 6 years ago
• kesl / khypervisor
  ☆29Updated 9 years ago
• mikemccormack / ring3k
  A Linux based Windows compatible user mode kernel
  ☆58Updated 16 years ago
• intel / ikgt-core
  Intel Kernel Guard Technology Core Repo
  ☆55Updated last year
• KVM-VMI / kvm
  Fork of KVM with Virtual Machine Introspection patches
  ☆37Updated last year
• jdk8 / Hypro
  VMI on BitVisor to detect hidden rootkits.
  ☆26Updated 8 years ago
• intel / vbh
  ☆93Updated last year
• Bareflank / hyperkernel
  deprecated
  ☆19Updated 6 years ago
• uberspark / uberspark
  Modular Provable Security on Commodity System and Application Software Stacks
  ☆13Updated 3 years ago
• zer0mem / HyperVisor
  microVM
  ☆51Updated 9 years ago
• finixbit / ltrace
  Simple Library calls tracer
  ☆22Updated 7 years ago
• KVM-VMI / qemu
  Fork of QEMU with Virtual Machine Introspection patches
  ☆14Updated last year
• TUD-OS / seoul
  A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
  ☆44Updated 4 years ago
• vmware-archive / vmmfuzzer
  A hypervisor or virtual machine monitor (VMM) fuzzer
  ☆28Updated 5 years ago
• blitz / baresifter
  A bare-metal x86 instruction set fuzzer a la Sandsifter
  ☆69Updated last year
• rhdrjones / kvm-unit-tests
  Unit tests for the kernel virtual machine (KVM)
  ☆13Updated 4 years ago
• S2E / libs2ecore
  S2E Core Engine Library
  ☆15Updated 5 years ago
• jiazhang0 / SELoader
  Secure EFI Loader designed to authenticate the non-PE files
  ☆48Updated 2 years ago
• S2E / libcpu
  x86 Dynamic Binary Translator Library
  ☆34Updated 4 years ago
• simutrace / simutrace
  Tracing framework for full system simulators
  ☆56Updated 9 years ago
• SCSLaboratory / BearOS
  The Bear Operating System
  ☆24Updated 8 years ago
• ldebug / research-environment
  My research environment based off of Microsoft's Singularity RDK/ Verve.
  ☆14Updated 8 years ago
• chjs / mmio-tracer
  It is a tool to analyze the pattern of memory mapped file I/O using Intel pin.
  ☆19Updated 7 years ago
• cyberus-technology / hedron
  The Hedron Microhypervisor
  ☆81Updated last year
• uberspark / uberxmhf
  uber eXtensible Micro-Hypervisor Framework
  ☆31Updated last year
• svn2github / bochs
  This is a clone of an SVN repository at http://svn.code.sf.net/p/bochs/code/trunk. It had been cloned by http://svn2github.com/ , but the…
  ☆55Updated 6 years ago
• Qubasa / perf_kernel
  Multicore x64 kernel with a focus on introspection and debugging capabilities.
  ☆61Updated last year
• CoryXie / CellOS
  An Multiboot Compliant X64 SMP Operating Systems
  ☆14Updated 11 years ago
• jupmoreno / AstleyOS
  Operating System project: basic x64 Kernel Implementation with the ability to load extra binary modules separated from the main kernel.
  ☆16Updated 9 years ago