kmu-embedded / k-hypervisor
ARM-based Hypervisor for Real-Time Embedded Systems
☆18Updated 6 years ago
Alternatives and similar repositories for k-hypervisor:
Users that are interested in k-hypervisor are comparing it to the libraries listed below
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆80Updated 6 years ago
- Xvisor: eXtensible Versatile hypervISOR☆88Updated last month
- FreeRTOS for Jailhouse Cells☆49Updated 2 years ago
- aarch64 bare metal test on qemu☆98Updated 10 years ago
- bare metal ARM examples to be run with qemu-system-arm☆71Updated 6 years ago
- ☆29Updated 9 years ago
- Sources for the AARCH64 experiments for posts on https://krinkinmu.github.io/☆30Updated 2 years ago
- Implementation of PCI drivers, kprobe, sysfs, devfs, sensor driver, miscdevices, synchronization☆54Updated 8 years ago
- ☆19Updated 9 years ago
- Basic tools for building seL4 projects☆46Updated last week
- mini-os for arm64☆15Updated 9 years ago
- Virtual Machine built as a CAmkES component.☆23Updated last week
- MultiZone® Security TEE for Arm® Cortex®-M is the quick and safe way to add security and separation to any Cortex-M based device. MultiZo…☆14Updated last year
- PRTOS Hypervisor is a lightweight, open-source embedded hypervisor☆57Updated this week
- Starting point for bare metal development and JTAG debugging on Raspberry Pi 3.☆28Updated 7 years ago
- The device tree library☆18Updated 3 months ago
- ☆102Updated 6 years ago
- Linker and loader for elf relocatable files. Developed in C for ARM architecture.☆30Updated 11 months ago
- aVisor: A Tiny Hypervisor for Raspberry Pi☆31Updated last year
- ☆103Updated 6 years ago
- A port of FreeRTOS to the ARM 929EJ-S Versatile Platform Baseboard☆92Updated last year
- arm-trusted-firmware☆25Updated last month
- libelf☆74Updated 7 years ago
- GDB stub that allows debugging of embedded devices☆32Updated 9 years ago
- An embedded operating system kernel☆15Updated 7 years ago
- Tegra2 emulation☆23Updated 3 years ago
- bare metal programming with Raspberry Pi☆29Updated 5 years ago
- SATA AHCI baremetal driver☆21Updated 6 years ago
- An implementation of the GDB Remote Serial Protocol to help you adding debug mode on emulator☆64Updated last month
- A small RTOS for ARM Cortex-M4F microcontrollers.☆82Updated 6 years ago