quic / gunyah-c-runtimeLinks
A small C runtime for bare-metal VMs on the Gunyah Hypervisor.
☆13Updated 2 months ago
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.☆23Updated 2 months ago
- Virtual machine monitor for L4Re☆33Updated last week
- sel4 benchmarking applications and support library.☆19Updated this week
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 4 years ago
- Advanced Operating Systems project☆21Updated 3 months ago
- This is the source of the seL4 docs.☆17Updated this week
- Basic tools for building seL4 projects☆52Updated last week
- SiFive OpenEmbedded / Yocto BSP Layer☆54Updated 3 weeks ago
- The Open-Source Engineering Process WG examines how software engineering processes can be used to facilitate the certification of safety-…☆13Updated 7 months ago
- OpenEmbedded/Yocto Layer for Arm☆21Updated last week
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆26Updated 3 years ago
- ☆24Updated this week
- FastRPC is Qualcomm's userspace library that facilitates efficient remote procedure calls between the CPU and DSP for high-performance co…☆63Updated last week
- Test suite for seL4.☆30Updated 2 weeks ago
- ARM Enterprise: SBSA Architecture Compliance Suite☆91Updated 3 months ago
- Documentation and status of UEFI on RISC-V☆64Updated 4 years ago
- ☆17Updated 3 weeks ago
- FreeRTOS for Jailhouse Cells☆53Updated 2 years ago
- ☆48Updated this week
- ARM64 version of Simple UEFI Bootloader☆29Updated 6 years ago
- UEFI, on Loongson.☆14Updated 9 years ago
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆12Updated 3 years ago
- Xvisor: eXtensible Versatile hypervISOR☆89Updated last month
- okl4 git for porting to realview_eb RTSM platform☆15Updated 13 years ago
- Embedded Base Boot Requirements Specification☆123Updated last month
- Jailhouse demonstration and testing images☆64Updated last year
- Arm SystemReady☆75Updated this week
- The main L4Re manifest to checkout the L4Re operating system.☆23Updated last month
- ☆48Updated last month
- Mirror of gitlab.com/qemu-project/u-boot.git☆64Updated 5 months ago