prplfoundation / prpl-hypervisorLinks
prplHypervisor™
☆31Updated 7 years ago
Alternatives and similar repositories for prpl-hypervisor
Users that are interested in prpl-hypervisor are comparing it to the libraries listed below
Sorting:
- A quick port of lwIP running on top of BareMetal.☆144Updated 7 years ago
- DEPRECATED mbed OS uVisor -- device security layer for ARMv7M microcontrollers☆134Updated 7 years ago
- ARM Trusted Firmware☆14Updated 7 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆45Updated 4 years ago
- Frosted: Free POSIX OS for tiny embedded devices☆220Updated last year
- A collection of loosely related OpenEmbedded layers providing several security technologies☆37Updated 3 years ago
- ☆33Updated last year
- LLVM Bare Metal GitSlave☆53Updated 11 years ago
- 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
- Codezero Microkernel☆112Updated 3 years ago
- The eChronos real-time operating system☆175Updated 5 years ago
- FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.☆46Updated 6 years ago
- A small suite of scripts and patches for building musl libc cross compilers.☆35Updated 9 years ago
- ☆29Updated 9 years ago
- ikgt manifest☆42Updated 3 years ago
- Trust Zone Project☆21Updated 10 years ago
- ☆32Updated 8 years ago
- Automatically exported from code.google.com/p/axfs☆25Updated 6 years ago
- Modular Provable Security on Commodity System and Application Software Stacks☆13Updated 3 years ago
- Memory access tracing QEMU☆97Updated 8 years ago
- userspace tools for linux libos☆96Updated 3 years ago
- tiny embedded MIPS virtualization platform - a very small and lean hypervisor using MIPS R5 hardware VZ option for embedded systems (IoT …☆19Updated 2 years ago
- Ostro OS☆93Updated 8 years ago
- QEMU based emulation library for micro-architectural simulation (ARM64 and x86)☆43Updated 6 years ago
- A network stack in userspace☆23Updated 7 years ago
- BSD-licensed CTF Implementation☆20Updated 10 years ago
- Secure Coding Validation Suite☆70Updated 12 years ago
- ☆19Updated 10 years ago
- Hacked up version of the Tiny C Compiler with basic ARM Thumb output☆27Updated 11 months ago
- Trevisor - A single guest hypervisor with full disk encryption☆17Updated 9 years ago