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.☆19Updated 7 months ago
- sel4 benchmarking applications and support library.☆20Updated this week
- Virtual machine monitor for L4Re☆31Updated last week
- Basic tools for building seL4 projects☆48Updated 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:☆18Updated 3 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 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 week
- This is the source of the seL4 docs.☆16Updated this week
- ☆32Updated last week
- ☆23Updated 2 weeks ago
- Advanced Operating Systems project☆20Updated 8 months ago
- Embedded Base Boot Requirements Specification☆118Updated 2 months ago
- Arm SystemReady☆64Updated last month
- A bare metal AArch64 hello-world program, that is run in a KVM AArch64 VM.☆28Updated last year
- OpenEmbedded/Yocto Layer for Arm☆18Updated last week
- ☆41Updated last week
- SiFive OpenEmbedded / Yocto BSP Layer☆52Updated last week
- Documentation and status of UEFI on RISC-V☆58Updated 3 years ago
- The RV BRS test suite checks for compliance against the RVI Boot and Runtime Service specification.☆11Updated 10 months ago
- Android Boot Loader (abl) for SHIFTPHONES☆20Updated last week
- ARM Enterprise: SBSA Architecture Compliance Suite☆91Updated last month
- DTS files☆35Updated 4 years ago
- Read-only mirror of https://chromium.googlesource.com/chromiumos/platform/depthcharge/. We don't handle pull requests.☆24Updated this week
- ARM64 version of Simple UEFI Bootloader☆26Updated 6 years ago
- ☆69Updated last year
- patch QEMU for raspberry4☆57Updated 2 years ago
- Test suite for seL4.☆26Updated last week
- Virtual Machine built as a CAmkES component.☆23Updated 2 months ago
- QEMU/OVMF/SWTPM UEFI Secure Boot development environment☆13Updated 3 years ago