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.
  ☆143Updated 7 years ago
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 6 years ago
• 96boards / arm-trusted-firmware
  ARM Trusted Firmware
  ☆14Updated 7 years ago
• frantony / barebox
  ☆33Updated last year
• ARMmbed / uvisor
  DEPRECATED mbed OS uVisor -- device security layer for ARMv7M microcontrollers
  ☆133Updated 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
• kesl / khypervisor
  ☆29Updated 9 years ago
• intel / meta-intel-iot-security
  A collection of loosely related OpenEmbedded layers providing several security technologies
  ☆37Updated 2 years ago
• aclements / mtrace
  Memory access tracing QEMU
  ☆97Updated 8 years ago
• jserv / codezero
  Codezero Microkernel
  ☆109Updated 3 years ago
• hcyang1012 / ARM_Hypervisor
  ☆19Updated 10 years ago
• sabotage-linux / musl-cross
  A small suite of scripts and patches for building musl libc cross compilers.
  ☆35Updated 9 years ago
• echronos / echronos
  The eChronos real-time operating system
  ☆173Updated 5 years ago
• rustyrussell / virtio-spec
  Virtio draft specification
  ☆65Updated 12 years ago
• lunatik-ng / lunatik-ng
  Linux Kernel Lua Scripting Engine
  ☆63Updated 9 years ago
• insane-adding-machines / frosted
  Frosted: Free POSIX OS for tiny embedded devices
  ☆220Updated last year
• open-power / skiboot
  OPAL boot and runtime firmware for POWER
  ☆109Updated last month
• rhdrjones / kvm-unit-tests
  Unit tests for the kernel virtual machine (KVM)
  ☆13Updated 4 years ago
• HawxChen / Linux-Kernel-Driver-Programming
  Implementation of PCI drivers, kprobe, sysfs, devfs, sensor driver, miscdevices, synchronization
  ☆54Updated 8 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
• avk7vk / arm-trustzone
  Trust Zone Project
  ☆21Updated 10 years ago
• alexeicolin / sysbios
  SYS/BIOS: kernel for Texas Instruments TI-RTOS
  ☆11Updated 11 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• lgeek / arm_tlb_huge_pages
  ☆32Updated 8 years ago
• rumpkernel / fs-utils
  File System Access Utilities in Userland
  ☆77Updated 9 years ago
• stephenrkell / libsystrap
  Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.
  ☆61Updated 3 weeks ago
• gtcasl / qsim
  QEMU based emulation library for micro-architectural simulation (ARM64 and x86)
  ☆41Updated 6 years ago
• uberspark / uberspark
  Modular Provable Security on Commodity System and Application Software Stacks
  ☆13Updated 3 years ago
• bluepilot / scvs
  Secure Coding Validation Suite
  ☆16Updated 6 years ago
• kontais / EFI-MIPS
  UEFI, on Loongson.
  ☆14Updated 9 years ago