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 6 months ago
- Basic tools for building seL4 projects☆46Updated 3 weeks ago
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆12Updated 2 years ago
- Virtual machine monitor for L4Re☆30Updated 2 weeks ago
- sel4 benchmarking applications and support library.☆20Updated last week
- This is the source of the seL4 docs.☆16Updated this week
- ☆39Updated last week
- Advanced Operating Systems project☆20Updated 8 months ago
- The RV BRS test suite checks for compliance against the RVI Boot and Runtime Service specification.☆11Updated 9 months ago
- SiFive OpenEmbedded / Yocto BSP Layer☆52Updated 2 weeks ago
- Test suite for seL4.☆26Updated last week
- Arm SystemReady☆62Updated last week
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆24Updated 3 years ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 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
- Mirror of gitlab.com/qemu-project/u-boot.git☆62Updated this week
- DTS files☆35Updated 4 years ago
- A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low ov…☆31Updated this week
- ☆21Updated this week
- No-assurance libraries for rapid-prototyping of seL4 apps.☆53Updated last month
- FreeRTOS for Jailhouse Cells☆50Updated 2 years ago
- Test definitions work with and without LAVA☆41Updated this week
- ☆32Updated 2 weeks ago
- ☆29Updated 2 years ago
- ☆17Updated last month
- Android Boot Loader (abl) for SHIFTPHONES☆20Updated 3 months ago
- QEMU-based fault injection☆27Updated 3 years ago
- The main L4Re manifest to checkout the L4Re operating system.☆20Updated last month
- okl4 git for porting to realview_eb RTSM platform☆14Updated 12 years ago
- OpenEmbedded/Yocto Layer for Arm☆18Updated this week