Alternatives and similar repositories for ARM_Hypervisor

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

• kesl / khypervisor
  ☆29Updated 9 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• TUD-OS / seoul
  A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
  ☆44Updated 3 years ago
• andreiw / tinycc
  My tinycc fork: hopefully, better OSX support, EFI targets, and ???
  ☆34Updated 7 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…
  ☆35Updated 8 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago
• ashwio / arm64-hypervisor-tutorial
  ☆106Updated 6 years ago
• tzvisor / ltzvisor
  LTZVisor: a Lightweight TrustZone-assisted Hypervisor
  ☆80Updated 7 years ago
• chillancezen / ZeldaOS.x86_64
  64bit bare metal hypervisor built from scratch with Intel VT-x
  ☆93Updated 4 years ago
• fgken / uefi-bootloader
  UEFI app to load ELF and Raw binary
  ☆29Updated 10 years ago
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 5 years ago
• kmu-embedded / k-hypervisor
  ARM-based Hypervisor for Real-Time Embedded Systems
  ☆18Updated 6 years ago
• sonicyang / KML
  Kernel-Mode-Linux
  ☆24Updated 2 years ago
• kontais / EFI-MIPS
  UEFI, on Loongson.
  ☆14Updated 8 years ago
• grandemk / qemu_devices
  PCI device for qemu with mmio, pio, dma
  ☆74Updated 8 years ago
• shinh / tel_ldr
  Tiny ELF loader
  ☆135Updated 2 years ago
• eruffaldi / uefiboot
  Tutorial on making UEFI with CMake and VirtualBox/QEmu
  ☆21Updated 7 years ago
• yabits / ebcvm
  EFI Byte Code Virtual Machine in userspace
  ☆79Updated 2 years ago
• pdumais / OperatingSystem
  my homebrew OS
  ☆33Updated 4 years ago
• jyao1 / STM
  ☆70Updated 5 years ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆48Updated this week
• seL4 / camkes-vm
  Virtual Machine built as a CAmkES component.
  ☆23Updated 2 months ago
• TUD-OS / libelkvm
  A library that allows execution of an ELF binary inside a virtual machine without a full-scale operating system
  ☆22Updated 10 years ago
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 7 years ago
• efidroid / uefi_apps_LKL
  EDK II LKL Filesystem Driver
  ☆13Updated 8 years ago
• mfleming / efilinux
  UEFI boot loader
  ☆79Updated 2 years ago
• TebexPL / FAT32-Bootsector
  Bootsector loading binary file from FAT32 partition
  ☆21Updated 6 years ago
• S2E / libtcg
  Tiny Code Generator Library
  ☆46Updated 4 years ago
• jserv / codezero
  Codezero Microkernel
  ☆108Updated 3 years ago
• riscvarchive / riscv-edk2
  Port of EDK2 implementation of UEFI to RISC-V. See documentation at:
  ☆24Updated 3 years ago