quic / gunyah-c-runtimeLinks
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
Sorting:
- A Root VM supporting virtualization with the Gunyah Hypervisor.☆18Updated 7 months ago
- ☆12Updated 8 months ago
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆12Updated 2 years ago
- sel4 benchmarking applications and support library.☆20Updated 3 weeks ago
- Virtual machine monitor for L4Re☆31Updated last week
- Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignore…☆22Updated last month
- The RV BRS test suite checks for compliance against the RVI Boot and Runtime Service specification.☆11Updated 10 months ago
- Basic tools for building seL4 projects☆48Updated 2 weeks ago
- ☆17Updated 2 months ago
- ☆24Updated 2 weeks ago
- SiFive OpenEmbedded / Yocto BSP Layer☆52Updated last week
- Arm SystemReady☆64Updated this week
- ☆42Updated this week
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- ☆36Updated this week
- QEMU/OVMF/SWTPM UEFI Secure Boot development environment☆13Updated 3 years ago
- The Open-Source Engineering Process WG examines how software engineering processes can be used to facilitate the certification of safety-…☆12Updated last month
- Automotive S32 Linux Kernel☆17Updated 2 weeks ago
- Documentation and status of UEFI on RISC-V☆58Updated 3 years ago
- OpenEmbedded/Yocto Layer for Arm☆18Updated this week
- This is the source of the seL4 docs.☆16Updated this week
- Advanced Operating Systems project☆20Updated 9 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
- An open source implementation of an AMD-V Secure Loader.☆25Updated 3 years ago
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆33Updated last week
- FreeRTOS for Jailhouse Cells☆51Updated 2 years ago
- DTS files☆35Updated 4 years ago
- XtratuM Mirror☆16Updated 8 years ago
- UEFI, on Loongson.☆14Updated 9 years ago