prplfoundation / prpl-hypervisor

Related projects ⓘ

Alternatives and complementary repositories for prpl-hypervisor

• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆45Updated 5 years ago
• tzvisor / ltzvisor
  LTZVisor: a Lightweight TrustZone-assisted Hypervisor
  ☆78Updated 6 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
• kesl / khypervisor
  ☆27Updated 8 years ago
• ReturnInfinity / BareMetal-lwIP
  A quick port of lwIP running on top of BareMetal.
  ☆143Updated 6 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 10 years ago
• jserv / codezero
  Codezero Microkernel
  ☆105Updated 2 years ago
• TUD-OS / NRE
  NOVA runtime environment (official branch)
  ☆34Updated 3 years ago
• ARMmbed / uvisor
  DEPRECATED mbed OS uVisor -- device security layer for ARMv7M microcontrollers
  ☆132Updated 6 years ago
• kmu-embedded / k-hypervisor
  ARM-based Hypervisor for Real-Time Embedded Systems
  ☆15Updated 5 years ago
• intel / meta-intel-iot-security
  A collection of loosely related OpenEmbedded layers providing several security technologies
  ☆35Updated 2 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…
  ☆34Updated 2 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 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…
  ☆33Updated 7 years ago
• frantony / barebox
  ☆31Updated 4 months 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
• sushihangover / llvm_baremetal
  LLVM Bare Metal GitSlave
  ☆52Updated 10 years ago
• 96boards / arm-trusted-firmware
  ARM Trusted Firmware
  ☆14Updated 7 years ago
• msperl / rpi-registers
  rpi-internal-registers
  ☆42Updated 5 years ago
• rustyrussell / virtio-spec
  Virtio draft specification
  ☆63Updated 11 years ago
• intel / intel-iot-refkit
  ☆35Updated 2 years ago
• Angstrom-distribution / angstrom-manifest
  Angstrom development environment setup using Android repo tool
  ☆30Updated 3 years ago
• avatarone / avatar-gdbstub
  GDB stub that allows debugging of embedded devices
  ☆31Updated 9 years ago
• prattmic / F4OS
  A small RTOS for ARM Cortex-M4F microcontrollers.
  ☆81Updated 6 years ago
• sergev / qemu
  QEMU for PIC32
  ☆29Updated 3 years ago
• alperakcan / mbus
  mBus is a lightweight messaging system providing communication between daemons and applications. enabling development of component based …
  ☆13Updated 4 years ago
• siemens / freertos-cell
  FreeRTOS for Jailhouse Cells
  ☆48Updated last year
• contiki-ng / mspsim
  Official MSPSim git repository
  ☆66Updated last year
• RTEMS / rtems-libbsd
  Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd
  ☆31Updated this week