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.☆23Updated 11 months ago
- Virtual machine monitor for L4Re☆32Updated last week
- sel4 benchmarking applications and support library.☆19Updated last month
- Advanced Operating Systems project☆20Updated 2 weeks ago
- Basic tools for building seL4 projects☆50Updated last month
- 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
- This is the source of the seL4 docs.☆15Updated this week
- UEFI, on Loongson.☆14Updated 9 years ago
- ☆17Updated last month
- ☆46Updated this week
- SiFive OpenEmbedded / Yocto BSP Layer☆53Updated last week
- ☆24Updated last week
- Kernel tree for ACRN☆97Updated this week
- The Open-Source Engineering Process WG examines how software engineering processes can be used to facilitate the certification of safety-…☆13Updated 4 months ago
- Xvisor: eXtensible Versatile hypervISOR☆89Updated 5 months ago
- Documentation and status of UEFI on RISC-V☆62Updated 4 years ago
- Virtual Machine built as a CAmkES component.☆24Updated last month
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆12Updated 3 years ago
- Test suite for seL4.☆28Updated last month
- Arm SystemReady☆71Updated this week
- Docker container for building EDK2 UEFI Open Source reference implementation☆16Updated 11 months ago
- Documentation for 3D commands on Virgl3D☆28Updated 6 years ago
- ARM Enterprise: SBSA Architecture Compliance Suite☆90Updated last month
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆12Updated 13 years ago
- Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd☆35Updated last week
- Mirror of the Xen Repository (PRs not accepted see: http://wiki.xenproject.org/wiki/Submitting_Xen_Project_Patches)☆21Updated 9 years ago
- Embedded Base Boot Requirements Specification☆120Updated last week
- The main L4Re manifest to checkout the L4Re operating system.☆22Updated last week
- FastRPC is Qualcomm's userspace library that facilitates efficient remote procedure calls between the CPU and DSP for high-performance co…☆46Updated 2 weeks ago