Alternatives and similar repositories for prpl-hypervisor

Users that are interested in prpl-hypervisor are comparing it to the libraries listed below

• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 6 years ago
• ARMmbed / uvisor
  DEPRECATED mbed OS uVisor -- device security layer for ARMv7M microcontrollers
  ☆134Updated 7 years ago
• tzvisor / ltzvisor
  LTZVisor: a Lightweight TrustZone-assisted Hypervisor
  ☆80Updated 7 years ago
• gtcasl / qsim
  QEMU based emulation library for micro-architectural simulation (ARM64 and x86)
  ☆41Updated 5 years ago
• kesl / khypervisor
  ☆29Updated 9 years ago
• frantony / barebox
  ☆33Updated 11 months ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• hcyang1012 / ARM_Hypervisor
  ☆19Updated 9 years ago
• kmu-embedded / k-hypervisor
  ARM-based Hypervisor for Real-Time Embedded Systems
  ☆18Updated 6 years ago
• ReturnInfinity / BareMetal-lwIP
  A quick port of lwIP running on top of BareMetal.
  ☆143Updated 7 years ago
• intel / Galileo-Runtime
  ☆33Updated 2 years ago
• uberspark / uberspark
  Modular Provable Security on Commodity System and Application Software Stacks
  ☆13Updated 3 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
• 96boards / arm-trusted-firmware
  ARM Trusted Firmware
  ☆14Updated 7 years ago
• lyegoshin / tinyVP
  tiny embedded MIPS virtualization platform - a very small and lean hypervisor using MIPS R5 hardware VZ option for embedded systems (IoT …
  ☆19Updated last year
• Wind-River / wr-lx-setup
  Wind River Linux Setup -- Distribution Build Project Assembler
  ☆12Updated 5 years ago
• contiki-ng / mspsim
  Official MSPSim git repository
  ☆66Updated last year
• intel / ikgt-manifest
  ikgt manifest
  ☆42Updated 2 years ago
• ostroproject / ostro-os
  Ostro OS
  ☆92Updated 8 years ago
• 0xabu / qemu
  OLD qemu with Raspberry Pi 2 and Windows on ARM support. Retained for reference purposes only -- most of this has been merged upstream.
  ☆65Updated 9 years ago
• rustyrussell / virtio-spec
  Virtio draft specification
  ☆65Updated 11 years ago
• avk7vk / arm-trustzone
  Trust Zone Project
  ☆21Updated 10 years ago
• sushihangover / llvm_baremetal
  LLVM Bare Metal GitSlave
  ☆52Updated 11 years ago
• jserv / codezero
  Codezero Microkernel
  ☆108Updated 3 years ago
• alexeicolin / sysbios
  SYS/BIOS: kernel for Texas Instruments TI-RTOS
  ☆11Updated 11 years ago
• cojocar / fuzzemu
  ☆39Updated 8 years ago
• butok / FNET
  The FNET is a free, open source, dual TCP/IPv4 and IPv6 Stack (under Apache Version 2.0 license) for building embedded communication soft…
  ☆120Updated last year
• dwelch67 / qemu_arm_samples
  bare metal ARM examples to be run with qemu-system-arm
  ☆74Updated 6 years ago
• alperakcan / mbus
  mBus is a lightweight messaging system providing communication between daemons and applications. enabling development of component based …
  ☆13Updated 5 years ago
• prattmic / F4OS
  A small RTOS for ARM Cortex-M4F microcontrollers.
  ☆83Updated 7 years ago