avpatel / xvisor-nextLinks
Xvisor: eXtensible Versatile hypervISOR
☆89Updated 6 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 last month
- Virtual machine monitor for L4Re☆33Updated last week
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆81Updated 7 years ago
- ☆111Updated 6 years ago
- aarch64 bare metal test on qemu☆108Updated 10 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- The development version of the L4Re Microkernel☆145Updated last week
- ☆29Updated 9 years ago
- Basic tools for building seL4 projects☆50Updated 2 months ago
- Codezero Microkernel☆112Updated 3 years ago
- Kernel tree for ACRN☆97Updated 3 weeks ago
- The core components of the L4Re operating system.☆94Updated last week
- ☆111Updated 6 years ago
- A utility for decoding aarch64 ESR register values.☆97Updated last week
- NOVA Microhypervisor☆424Updated last month
- Creating a custom PCI device in QEMU and a module for it in the Linux kernel.☆96Updated 11 years ago
- A simple type-1 hypervisor on Raspberry Pi 3 (aarch64)☆52Updated 5 years ago
- OPAL boot and runtime firmware for POWER☆111Updated last week
- Flexible Virtualization Solution for Embedded System☆256Updated last year
- A simple 64bit UEFI application of Hello World! without using any UEFI toolkit.☆114Updated last year
- A network interface for GDB for Linux Kernel☆71Updated 2 months ago
- ☆19Updated 10 years ago
- ☆69Updated 3 years ago
- Leo Hypervisor. ARM64 Hypervisor on Raspberry Pi 4 machine.☆35Updated 3 years ago
- Fast and lightweight yet another UEFI implementation☆106Updated 3 years ago
- Documentation and status of UEFI on RISC-V☆62Updated 4 years ago
- aVisor: A Tiny Hypervisor for Raspberry Pi☆35Updated 2 years ago
- Implementation of PCI drivers, kprobe, sysfs, devfs, sensor driver, miscdevices, synchronization☆55Updated 8 years ago
- Prototype no-assurance reference OS personality built on seL4☆50Updated 7 months ago
- UEFI Reference Specification Protocol Constants and Definitions☆40Updated 6 years ago