avpatel / xvisor-nextLinks
Xvisor: eXtensible Versatile hypervISOR
☆89Updated 4 months ago
Alternatives and similar repositories for xvisor-next
Users that are interested in xvisor-next are comparing it to the libraries listed below
Sorting:
- Xvisor: eXtensible Versatile hypervISOR☆589Updated 3 months ago
- aarch64 bare metal test on qemu☆108Updated 10 years ago
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆80Updated 7 years ago
- ☆109Updated 6 years ago
- Creating a custom PCI device in QEMU and a module for it in the Linux kernel.☆94Updated 11 years ago
- Kernel tree for ACRN☆97Updated 6 months ago
- Virtual machine monitor for L4Re☆31Updated last week
- Codezero Microkernel☆109Updated 3 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- NOVA Microhypervisor☆415Updated last month
- Implementation of PCI drivers, kprobe, sysfs, devfs, sensor driver, miscdevices, synchronization☆54Updated 8 years ago
- The core components of the L4Re operating system.☆92Updated last week
- The development version of the L4Re Microkernel☆140Updated last week
- ☆109Updated 6 years ago
- Flexible Virtualization Solution for Embedded System☆256Updated last year
- A utility for decoding aarch64 ESR register values.☆95Updated last week
- Clone of https://git.kernel.org/pub/scm/linux/kernel/git/will/kvmtool.git☆55Updated 8 years ago
- Basic tools for building seL4 projects☆49Updated last week
- bare metal programming with Raspberry Pi☆29Updated 6 years ago
- PCI device for qemu with mmio, pio, dma☆74Updated 8 years ago
- Raspberry Pi bare metal code for qemu raspi2 and raspi3.☆54Updated 3 years ago
- ☆19Updated 10 years ago
- Prototype no-assurance reference OS personality built on seL4☆50Updated 5 months ago
- ARM-based Hypervisor for Real-Time Embedded Systems☆19Updated 6 years ago
- ARM Enterprise: SBSA Architecture Compliance Suite☆90Updated 2 months ago
- Leo Hypervisor. ARM64 Hypervisor on Raspberry Pi 4 machine.☆35Updated 2 years ago
- A network interface for GDB for Linux Kernel☆71Updated 3 weeks ago
- Documentation and status of UEFI on RISC-V☆61Updated 3 years ago
- QEMU-based fault injection☆27Updated 3 years ago
- GCC Crosscompiler build scripts and instructions☆59Updated 8 years ago