quic / gunyah-resource-manager
A Root VM supporting virtualization with the Gunyah Hypervisor.
☆18Updated 3 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.☆11Updated last year
- ☆10Updated 4 months ago
- Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…☆20Updated this week
- Android Boot Loader (abl) for SHIFTPHONES☆20Updated last month
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆12Updated 2 years ago
- An open source implementation of an AMD-V Secure Loader.☆23Updated 3 years ago
- Basic tools for building seL4 projects☆46Updated last week
- Userspace reference for net/qrtr in the Linux kernel☆19Updated 6 months ago
- The RV BRS test suite checks for compliance against the RVI Boot and Runtime Service specification.☆10Updated 7 months ago
- Read-only mirror of https://chromium.googlesource.com/chromiumos/platform/vboot_reference. We don't handle pull requests.☆35Updated 2 weeks ago
- Virtual machine monitor for L4Re☆28Updated 2 weeks ago
- ☆68Updated last year
- ☆27Updated last month
- ☆13Updated 2 years ago
- EDK II BaseTools Python tools as a PIP module☆25Updated 6 months ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 years ago
- This is the source of the seL4 docs.☆16Updated this week
- QEMU/OVMF/SWTPM UEFI Secure Boot development environment☆13Updated 2 years ago
- Collection of files for booting Linux kernels☆30Updated 3 months ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- ☆101Updated 6 months ago
- Libvirt is an open-source API, daemon and management tool for managing platform virtualization, widely used in the orchestration layer in…☆13Updated last year
- ☆37Updated this week
- Docker container for building EDK2 UEFI Open Source reference implementation☆16Updated 3 months ago
- Embedded Base Boot Requirements Specification☆117Updated last month
- ☆20Updated last week
- UEFI, on Loongson.☆14Updated 8 years ago
- Test definitions work with and without LAVA☆42Updated this week
- kmod - Linux kernel module handling☆57Updated this week
- loader to switch from aarch32 to aarch64 and boot☆12Updated 7 years ago