quic / gunyah-c-runtime
A small C runtime for bare-metal VMs on the Gunyah Hypervisor.
☆12Updated last year
Alternatives and similar repositories for gunyah-c-runtime:
Users that are interested in gunyah-c-runtime are comparing it to the libraries listed below
- A Root VM supporting virtualization with the Gunyah Hypervisor.☆19Updated 4 months ago
- Basic tools for building seL4 projects☆46Updated last week
- sel4 benchmarking applications and support library.☆19Updated last week
- Virtual machine monitor for L4Re☆28Updated last week
- The RV BRS test suite checks for compliance against the RVI Boot and Runtime Service specification.☆10Updated 7 months ago
- Advanced Operating Systems project☆20Updated 6 months ago
- This is the source of the seL4 docs.☆16Updated this week
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 years ago
- Documentation and status of UEFI on RISC-V☆55Updated 3 years ago
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆12Updated 2 years 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
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- Test suite for seL4.☆25Updated last week
- ☆15Updated last week
- ARM64 version of Simple UEFI Bootloader☆22Updated 5 years ago
- ☆20Updated this week
- Kernel coredump file access☆26Updated 2 months ago
- ☆28Updated last month
- Arm SystemReady☆59Updated this week
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆30Updated this week
- The core components of the L4Re operating system.☆82Updated last week
- QEMU/OVMF/SWTPM UEFI Secure Boot development environment☆12Updated 2 years ago
- loader to switch from aarch32 to aarch64 and boot☆12Updated 7 years ago
- Virtual Machine built as a CAmkES component.☆23Updated 8 months ago
- ☆29Updated 9 years ago
- DTS files☆34Updated 4 years ago
- ☆68Updated last year
- ☆37Updated this week
- FreeRTOS for Jailhouse Cells☆49Updated last year