Alternatives and similar repositories for prpl-hypervisor

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

• ReturnInfinity / BareMetal-lwIP
  A quick port of lwIP running on top of BareMetal.
  ☆144Updated 7 years ago
• ARMmbed / uvisor
  DEPRECATED mbed OS uVisor -- device security layer for ARMv7M microcontrollers
  ☆135Updated 7 years ago
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 6 years ago
• frantony / barebox
  ☆33Updated last year
• TUD-OS / seoul
  A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
  ☆44Updated 4 years ago
• 96boards / arm-trusted-firmware
  ARM Trusted Firmware
  ☆14Updated 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
• lyegoshin / tinyVP
  tiny embedded MIPS virtualization platform - a very small and lean hypervisor using MIPS R5 hardware VZ option for embedded systems (IoT …
  ☆20Updated 2 years ago
• intel / meta-intel-iot-security
  A collection of loosely related OpenEmbedded layers providing several security technologies
  ☆37Updated 3 years ago
• intel / ikgt-manifest
  ikgt manifest
  ☆42Updated 3 years ago
• jserv / codezero
  Codezero Microkernel
  ☆111Updated 4 years ago
• lakeman / trevisor
  Trevisor - A single guest hypervisor with full disk encryption
  ☆17Updated 9 years ago
• intel / edison-u-boot
  DISCONTINUATION OF PROJECT. This project will no longer be maintained by Intel. Intel will not provide or guarantee development of or s…
  ☆37Updated 3 years ago
• gtcasl / qsim
  QEMU based emulation library for micro-architectural simulation (ARM64 and x86)
  ☆43Updated 6 years ago
• uberspark / uberspark
  Modular Provable Security on Commodity System and Application Software Stacks
  ☆13Updated 4 years ago
• avk7vk / arm-trustzone
  Trust Zone Project
  ☆21Updated 11 years ago
• hcyang1012 / ARM_Hypervisor
  ☆19Updated 10 years ago
• kesl / khypervisor
  ☆29Updated 9 years ago
• libos-nuse / linux-libos-tools
  userspace tools for linux libos
  ☆98Updated 3 years ago
• sushihangover / llvm_baremetal
  LLVM Bare Metal GitSlave
  ☆53Updated 11 years ago
• echronos / echronos
  The eChronos real-time operating system
  ☆177Updated 6 years ago
• jaredeh / axfs
  Automatically exported from code.google.com/p/axfs
  ☆25Updated 6 years ago
• takayuki / lwip-tap
  lwip-tap is an application of "lwIP - A Lightweight TCP/IP Stack"
  ☆58Updated 12 years ago
• alnsn / bpfjit
  Just-in-Time compilation of bpf
  ☆32Updated 6 months ago
• mirage / mini-os
  Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git
  ☆64Updated 5 years ago
• tass-belgium / picotcp-bsd
  BSD POSIX-compliant socket support for PicoTCP running on any OS.
  ☆22Updated 7 years ago
• kraj / meta-musl
  Provide musl as system C library for OpenEmbedded/Yocto
  ☆22Updated 9 years ago
• open-power / skiboot
  OPAL boot and runtime firmware for POWER
  ☆110Updated 3 weeks ago
• rustyrussell / virtio-spec
  Virtio draft specification
  ☆66Updated 12 years ago
• aclements / mtrace
  Memory access tracing QEMU
  ☆99Updated 9 years ago