quic / gunyah-resource-manager
A Root VM supporting virtualization with the Gunyah Hypervisor.
☆19Updated 5 months ago
Alternatives and similar repositories for gunyah-resource-manager:
Users that are interested in gunyah-resource-manager are comparing it to the libraries listed below
- A small C runtime for bare-metal VMs on the Gunyah Hypervisor.☆12Updated last year
- ☆11Updated 5 months ago
- Basic tools for building seL4 projects☆46Updated 2 weeks ago
- Virtual machine monitor for L4Re☆30Updated last week
- Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…☆21Updated this week
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆12Updated 2 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- sel4 benchmarking applications and support library.☆20Updated last week
- The RV BRS test suite checks for compliance against the RVI Boot and Runtime Service specification.☆10Updated 8 months ago
- Android Boot Loader (abl) for SHIFTPHONES☆20Updated 2 months ago
- Gunyah is a Type-1 hypervisor designed for strong security, performance and modularity.☆348Updated last year
- Leo Hypervisor. ARM64 Hypervisor on Raspberry Pi 4 machine.☆34Updated 2 years ago
- Embedded Base Boot Requirements Specification☆117Updated 2 weeks ago
- A bare metal AArch64 hello-world program, that is run in a KVM AArch64 VM.☆26Updated last year
- Arm SystemReady : BSA Architecture Compliance Suite☆23Updated this week
- This is the source of the seL4 docs.☆16Updated this week
- ☆38Updated this week
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 3 years ago
- Advanced Operating Systems project☆20Updated 6 months ago
- ☆14Updated last month
- Libvirt is an open-source API, daemon and management tool for managing platform virtualization, widely used in the orchestration layer in…☆13Updated last year
- loader to switch from aarch32 to aarch64 and boot☆12Updated 7 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 years ago
- ☆29Updated 2 months ago
- DTS files☆34Updated 4 years ago
- aVisor: A Tiny Hypervisor for Raspberry Pi☆31Updated last year
- EDK II non-OSI licensed content☆67Updated last month
- ☆14Updated 2 years ago
- Docker container for building EDK2 UEFI Open Source reference implementation☆16Updated 4 months ago
- OpenEmbedded/Yocto Layer for Arm☆18Updated this week