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
• 96boards / arm-trusted-firmware
  ARM Trusted Firmware
  ☆14Updated 7 years ago
• ReturnInfinity / BareMetal-lwIP
  A quick port of lwIP running on top of BareMetal.
  ☆144Updated 7 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
• avk7vk / arm-trustzone
  Trust Zone Project
  ☆21Updated 10 years ago
• intel / meta-intel-iot-security
  A collection of loosely related OpenEmbedded layers providing several security technologies
  ☆37Updated 3 years ago
• jserv / codezero
  Codezero Microkernel
  ☆109Updated 3 years ago
• echronos / echronos
  The eChronos real-time operating system
  ☆173Updated 5 years ago
• cojocar / fuzzemu
  ☆39Updated 8 years ago
• uberspark / uberspark
  Modular Provable Security on Commodity System and Application Software Stacks
  ☆13Updated 3 years ago
• libos-nuse / linux-libos-tools
  userspace tools for linux libos
  ☆96Updated 3 years ago
• kesl / khypervisor
  ☆29Updated 9 years ago
• insane-adding-machines / frosted
  Frosted: Free POSIX OS for tiny embedded devices
  ☆221Updated last year
• rhdrjones / kvm-unit-tests
  Unit tests for the kernel virtual machine (KVM)
  ☆13Updated 4 years ago
• intel / ikgt-manifest
  ikgt manifest
  ☆42Updated 3 years ago
• cakturk / unet
  A network stack in userspace
  ☆23Updated 7 years ago
• contiki-ng / mspsim
  Official MSPSim git repository
  ☆66Updated last year
• sushihangover / llvm_baremetal
  LLVM Bare Metal GitSlave
  ☆53Updated 11 years ago
• timingattestation / timing-attestation
  Automatically exported from code.google.com/p/timing-attestation
  ☆13Updated 10 years ago
• danluu / secvisor-formal-verification
  Formal verification of SecVisor, a secure hypervisor
  ☆12Updated 12 years ago
• aclements / mtrace
  Memory access tracing QEMU
  ☆97Updated 8 years ago
• ddcc / microparse
  Microcode parser for AMD, Intel, and VIA processors
  ☆134Updated 9 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
• ANLAB-KAIST / pspgen-dpdk
  pspgen utility on top of DPDK
  ☆14Updated 9 years ago
• theopolis / sboot
  Standalone libSboot for U-boot
  ☆22Updated 12 years ago
• tzvisor / ltzvisor
  LTZVisor: a Lightweight TrustZone-assisted Hypervisor
  ☆80Updated 7 years ago
• jowinter / qemu-trustzone
  Experimental version of QEMU with basic support for ARM TrustZone (security extensions)
  ☆84Updated 11 years ago
• hcyang1012 / ARM_Hypervisor
  ☆19Updated 10 years ago
• frantony / barebox
  ☆33Updated last year