quic / gunyah-c-runtimeLinks
A small C runtime for bare-metal VMs on the Gunyah Hypervisor.
☆13Updated 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.☆20Updated 10 months ago
- Virtual machine monitor for L4Re☆31Updated last week
- sel4 benchmarking applications and support library.☆20Updated last week
- Advanced Operating Systems project☆20Updated 11 months ago
- Basic tools for building seL4 projects☆49Updated last week
- The Open-Source Engineering Process WG examines how software engineering processes can be used to facilitate the certification of safety-…☆12Updated 3 months ago
- SiFive OpenEmbedded / Yocto BSP Layer☆53Updated last month
- Test suite for seL4.☆28Updated 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
- Xvisor: eXtensible Versatile hypervISOR☆89Updated 4 months ago
- Virtual Machine built as a CAmkES component.☆23Updated last week
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆12Updated 2 years ago
- ☆17Updated last week
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 years ago
- ☆41Updated last week
- OpenEmbedded/Yocto Layer for Arm☆19Updated this week
- ☆24Updated last month
- The main L4Re manifest to checkout the L4Re operating system.☆21Updated last week
- ☆45Updated last week
- Gunyah is a Type-1 hypervisor designed for strong security, performance and modularity.☆383Updated last year
- Embedded Base Boot Requirements Specification☆120Updated 4 months ago
- Mirror of gitlab.com/qemu-project/u-boot.git☆64Updated last month
- FreeRTOS for Jailhouse Cells☆52Updated 2 years ago
- Arm SystemReady☆67Updated 2 weeks ago
- Renesas BSP u-boot☆25Updated last week
- End-to-end system reference material showcasing all the different aspects of OpenAMP, on multiple vendor platforms.☆19Updated 3 weeks ago
- Jailhouse demonstration and testing images☆62Updated last year
- Kernel tree for ACRN☆97Updated 6 months ago
- Documentation and status of UEFI on RISC-V☆61Updated 3 years ago