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
• llubu / Hypervisor
  Hypervisor implementation for x86_64 ISA MIT JOS
  ☆34Updated 11 years ago
• Bareflank / extended_apis
  deprecated
  ☆46Updated 6 years ago
• intel / ikgt-core
  Intel Kernel Guard Technology Core Repo
  ☆56Updated last year
• gtcasl / qsim
  QEMU based emulation library for micro-architectural simulation (ARM64 and x86)
  ☆42Updated 6 years ago
• finixbit / ltrace
  Simple Library calls tracer
  ☆22Updated 7 years ago
• jiazhang0 / SELoader
  Secure EFI Loader designed to authenticate the non-PE files
  ☆48Updated 3 years ago
• rhdrjones / kvm-unit-tests
  Unit tests for the kernel virtual machine (KVM)
  ☆13Updated 5 years ago
• vmware-archive / vmmfuzzer
  A hypervisor or virtual machine monitor (VMM) fuzzer
  ☆28Updated 5 years ago
• jdk8 / Hypro
  VMI on BitVisor to detect hidden rootkits.
  ☆27Updated 9 years ago
• Bareflank / hyperkernel
  deprecated
  ☆19Updated 7 years ago
• mikemccormack / ring3k
  A Linux based Windows compatible user mode kernel
  ☆59Updated 16 years ago
• robgjansen / elf-loader
  Fork of http://code.nsnam.org/thehajime/elf-loader/ for unlimited dlmopen namespaces
  ☆21Updated 2 years ago
• rcore-os / rboot
  The x86_64 UEFI bootloader for rCore
  ☆43Updated 3 years ago
• CoryXie / CellOS
  An Multiboot Compliant X64 SMP Operating Systems
  ☆13Updated 12 years ago
• TUD-OS / seoul
  A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
  ☆44Updated 4 years ago
• yabits / llvm
  LLVM backend for EFI Byte Code
  ☆11Updated 6 years ago
• intel / vbh
  ☆93Updated last year
• KVM-VMI / kvm
  Fork of KVM with Virtual Machine Introspection patches
  ☆37Updated last week
• ashwio / arm64-hypervisor-tutorial
  ☆113Updated 6 years ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆53Updated last month
• S2E / libcpu
  x86 Dynamic Binary Translator Library
  ☆34Updated 5 years ago
• zausiu / ksm_plus
  Memory management is one of the most important parts of the operating system. KSM (Kernel Samepage Merging) in Linux kernel is a kind of…
  ☆13Updated 7 years ago
• descent / uefi-programming-guider
  Automatically exported from code.google.com/p/uefi-programming-guider
  ☆14Updated 9 years ago
• ldebug / research-environment
  My research environment based off of Microsoft's Singularity RDK/ Verve.
  ☆16Updated 9 years ago
• jiajudu / sagiri
  x64 smp operating system
  ☆13Updated 5 years ago
• S2E / libtcg
  Tiny Code Generator Library
  ☆46Updated 5 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
• jyao1 / STM
  ☆73Updated 5 years ago
• avpatel / xvisor-next
  Xvisor: eXtensible Versatile hypervISOR
  ☆89Updated 2 weeks ago