kmu-embedded / k-hypervisorLinks
ARM-based Hypervisor for Real-Time Embedded Systems
☆19Updated 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
Sorting:
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆80Updated 7 years ago
- ☆108Updated 6 years ago
- ☆106Updated 6 years ago
- An ELF loader for embedded systems.☆155Updated 7 years ago
- Flexible Virtualization Solution for Embedded System☆256Updated last year
- FreeRTOS for Jailhouse Cells☆52Updated 2 years ago
- A port of FreeRTOS to the ARM 929EJ-S Versatile Platform Baseboard☆92Updated last year
- ARMv7M ELF loader☆103Updated last year
- aarch64 bare metal test on qemu☆107Updated 10 years ago
- Xvisor: eXtensible Versatile hypervISOR☆88Updated 3 months ago
- Xvisor: eXtensible Versatile hypervISOR☆587Updated 2 months ago
- Simplified ELF loader for ARM Cortex-M4 based platform☆84Updated 10 years ago
- Linker and loader for elf relocatable files. Developed in C for ARM architecture.☆30Updated last year
- bare metal programming with Raspberry Pi☆29Updated 6 years ago
- Sources for the AARCH64 experiments for posts on https://krinkinmu.github.io/☆31Updated 2 years ago
- ☆19Updated 10 years ago
- ☆29Updated 9 years ago
- bare metal ARM examples to be run with qemu-system-arm☆75Updated 6 years ago
- aVisor: A Tiny Hypervisor for Raspberry Pi☆35Updated last year
- Kernel tree for ACRN☆97Updated 5 months ago
- PRTOS Hypervisor is a lightweight, open-source embedded hypervisor☆71Updated 3 weeks ago
- This System Control Processor (SCP) firmware repository is no longer used and has been set to Read-only for archiving purposes. Please re…☆251Updated 11 months ago
- PCI device for qemu with mmio, pio, dma☆74Updated 8 years ago
- An implementation of the GDB Remote Serial Protocol to help you adding debug mode on emulator☆78Updated this week
- Implementation of PCI drivers, kprobe, sysfs, devfs, sensor driver, miscdevices, synchronization☆54Updated 8 years ago
- mini-os for arm64☆15Updated 9 years ago
- GDB stub that allows debugging of embedded devices☆34Updated 9 years ago
- Use Kbuild build system for your own applications. This is a small kbuild template, that you can easily adapt to your own needs.☆76Updated last year
- Standalone gdb-stub for RPi 2☆28Updated 9 years ago
- libelf☆82Updated 8 years ago