Alternatives and similar repositories for ARM_Hypervisor

Users that are interested in ARM_Hypervisor are comparing it to the libraries listed below

• TUD-OS / seoul
  A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
  ☆44Updated 4 years ago
• kesl / khypervisor
  ☆29Updated 9 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago
• shinh / tel_ldr
  Tiny ELF loader
  ☆138Updated 3 years ago
• chillancezen / ZeldaOS.x86_64
  64bit bare metal hypervisor built from scratch with Intel VT-x
  ☆94Updated 5 years ago
• yabits / ebcvm
  EFI Byte Code Virtual Machine in userspace
  ☆81Updated 3 years ago
• fgken / uefi-bootloader
  UEFI app to load ELF and Raw binary
  ☆30Updated 10 years ago
• andreiw / tinycc
  My tinycc fork: hopefully, better OSX support, EFI targets, and ???
  ☆35Updated 8 years ago
• ashwio / arm64-hypervisor-tutorial
  ☆113Updated 6 years ago
• kontais / EFI-MIPS
  UEFI, on Loongson.
  ☆14Updated 9 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 12 years ago
• avpatel / xvisor-next
  Xvisor: eXtensible Versatile hypervISOR
  ☆89Updated 2 weeks ago
• llubu / Hypervisor
  Hypervisor implementation for x86_64 ISA MIT JOS
  ☆34Updated 11 years ago
• jserv / codezero
  Codezero Microkernel
  ☆111Updated 4 years ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆53Updated last month
• gtcasl / qsim
  QEMU based emulation library for micro-architectural simulation (ARM64 and x86)
  ☆42Updated 6 years ago
• S2E / libtcg
  Tiny Code Generator Library
  ☆46Updated 5 years ago
• levex / kernel-qemu-pci
  Creating a custom PCI device in QEMU and a module for it in the Linux kernel.
  ☆96Updated 11 years ago
• pinczakko / PCI-Expansion-ROM-OS
  Two stage x86 boot loader and preliminary kernel code which are combined into single binary file to be flashed to PCI expansion card with…
  ☆36Updated 8 years ago
• erincandescent / elfload
  An ELF loader for embedded systems.
  ☆167Updated 8 years ago
• Openwide-Ingenierie / GreenThreads-UEFI
  Simple (green) threads for UEFI
  ☆25Updated 8 years ago
• singpolyma / singpolyma-kernel
  A basic microkernel
  ☆37Updated 12 years ago
• mikemccormack / ring3k
  A Linux based Windows compatible user mode kernel
  ☆59Updated 16 years ago
• CoderionLabs / exoberry
  An exokernel for the raspberry pi 3.
  ☆82Updated 4 years ago
• gurugio / caos
  Calcium OS project for x86_64
  ☆40Updated 8 years ago
• JulesWang / JOS-vmx
  Virtual Machine eXtension for JOS
  ☆23Updated 11 years ago
• dbittman / seakernel
  Modular kernel built for simplicity
  ☆94Updated 8 years ago
• rhdrjones / kvm-unit-tests
  Unit tests for the kernel virtual machine (KVM)
  ☆13Updated 5 years ago
• tqh / efi-example
  Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.
  ☆61Updated 4 years ago
• pdumais / OperatingSystem
  my homebrew OS
  ☆33Updated 5 years ago