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 5 months ago
- Basic tools for building seL4 projects☆46Updated 2 weeks ago
- sel4 benchmarking applications and support library.☆20Updated last week
- Virtual machine monitor for L4Re☆30Updated last week
- This is the source of the seL4 docs.☆16Updated this week
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- Advanced Operating Systems project☆20Updated 6 months ago
- The RV BRS test suite checks for compliance against the RVI Boot and Runtime Service specification.☆10Updated 8 months ago
- 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
- ☆15Updated last week
- Test suite for seL4.☆25Updated last week
- Embedded Base Boot Requirements Specification☆117Updated 2 weeks ago
- The core components of the L4Re operating system.☆85Updated last week
- DTS files☆34Updated 4 years ago
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 3 years ago
- ☆20Updated this week
- ☆38Updated this week
- Arm SystemReady☆59Updated this week
- Documentation and status of UEFI on RISC-V☆56Updated 3 years ago
- OpenEmbedded/Yocto Layer for Arm☆18Updated this week
- A bare metal AArch64 hello-world program, that is run in a KVM AArch64 VM.☆26Updated last year
- No-assurance libraries for rapid-prototyping of seL4 apps.☆52Updated last week
- UEFI, on Loongson.☆14Updated 8 years ago
- ARM Enterprise: SBSA Architecture Compliance Suite☆91Updated 2 weeks ago
- Virtual Machine built as a CAmkES component.☆23Updated last week
- ☆29Updated 2 years ago
- Test infrastructure and test cases for EDK II based firmware☆84Updated 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
- Leo Hypervisor. ARM64 Hypervisor on Raspberry Pi 4 machine.☆34Updated 2 years ago