Alternatives and similar repositories for ARM_Hypervisor:

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

• kesl / khypervisor
  ☆28Updated 8 years ago
• TUD-OS / seoul
  A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
  ☆41Updated 3 years ago
• ashwio / arm64-hypervisor-tutorial
  ☆102Updated 5 years ago
• kmu-embedded / k-hypervisor
  ARM-based Hypervisor for Real-Time Embedded Systems
  ☆18Updated 5 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 7 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• chillancezen / ZeldaOS.x86_64
  64bit bare metal hypervisor built from scratch with Intel VT-x
  ☆88Updated 4 years ago
• yabits / ebcvm
  EFI Byte Code Virtual Machine in userspace
  ☆77Updated last year
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 8 years ago
• CoderionLabs / exoberry
  An exokernel for the raspberry pi 3.
  ☆80Updated 3 years ago
• tzvisor / ltzvisor
  LTZVisor: a Lightweight TrustZone-assisted Hypervisor
  ☆80Updated 6 years ago
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 6 years ago
• TUD-OS / libelkvm
  A library that allows execution of an ELF binary inside a virtual machine without a full-scale operating system
  ☆22Updated 9 years ago
• tqh / efi-example
  Self-contained minimal example of building an EFI app (under 64 bit Linux atm) without external build dependencies.
  ☆58Updated 3 years ago
• S2E / libtcg
  Tiny Code Generator Library
  ☆46Updated 4 years ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆45Updated 5 months ago
• andreiw / tinycc
  My tinycc fork: hopefully, better OSX support, EFI targets, and ???
  ☆33Updated 7 years ago
• rhdrjones / kvm-unit-tests
  Unit tests for the kernel virtual machine (KVM)
  ☆14Updated 4 years ago
• krinkinmu / aarch64
  Sources for the AARCH64 experiments for posts on https://krinkinmu.github.io/
  ☆24Updated 2 years ago
• eruffaldi / uefiboot
  Tutorial on making UEFI with CMake and VirtualBox/QEmu
  ☆21Updated 6 years ago
• blitz / kernel_entry_benchmark
  Microbenchmarks for x86_64 kernel entry methods
  ☆18Updated 2 years ago
• rafilia / qemu_example_virtual_pcidev
  example PCI virtual device on QEMU
  ☆25Updated 9 years ago
• levex / kernel-qemu-pci
  Creating a custom PCI device in QEMU and a module for it in the Linux kernel.
  ☆93Updated 10 years ago
• grandemk / qemu_devices
  PCI device for qemu with mmio, pio, dma
  ☆74Updated 8 years ago
• llubu / Hypervisor
  Hypervisor implementation for x86_64 ISA MIT JOS
  ☆33Updated 10 years ago
• psomas / lguest64
  wannabe (up-to-date) 64bit port of lguest
  ☆13Updated 13 years ago
• sonicyang / KML
  Kernel-Mode-Linux
  ☆24Updated 2 years ago
• HawxChen / Linux-Kernel-Driver-Programming
  Implementation of PCI drivers, kprobe, sysfs, devfs, sensor driver, miscdevices, synchronization
  ☆54Updated 7 years ago
• kontais / EFI-MIPS
  UEFI, on Loongson.
  ☆14Updated 8 years ago
• 3mdeb / edk2-docker
  Docker container for building EDK2 UEFI Open Source reference implementation
  ☆16Updated 2 months ago