quic / gunyah-c-runtimeLinks
A small C runtime for bare-metal VMs on the Gunyah Hypervisor.
☆13Updated 2 weeks 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 weeks ago
- sel4 benchmarking applications and support library.☆19Updated 2 months ago
- Virtual machine monitor for L4Re☆33Updated last week
- Advanced Operating Systems project☆20Updated last month
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 years ago
- The Open-Source Engineering Process WG examines how software engineering processes can be used to facilitate the certification of safety-…☆13Updated 5 months ago
- FastRPC is Qualcomm's userspace library that facilitates efficient remote procedure calls between the CPU and DSP for high-performance co…☆47Updated last week
- This is the source of the seL4 docs.☆15Updated this week
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆25Updated 3 years ago
- SiFive OpenEmbedded / Yocto BSP Layer☆54Updated 2 weeks ago
- Basic tools for building seL4 projects☆50Updated 2 months ago
- ☆47Updated last week
- ☆24Updated last month
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆12Updated 3 years ago
- ARM Enterprise: SBSA Architecture Compliance Suite☆91Updated last month
- UEFI, on Loongson.☆14Updated 9 years ago
- Virtual Machine built as a CAmkES component.☆24Updated 2 months ago
- Test suite for seL4.☆28Updated 2 months ago
- The main L4Re manifest to checkout the L4Re operating system.☆23Updated last week
- Arm SystemReady☆73Updated this week
- Documentation and status of UEFI on RISC-V☆62Updated 4 years ago
- A bare metal AArch64 hello-world program, that is run in a KVM AArch64 VM.☆26Updated last year
- Embedded Base Boot Requirements Specification☆122Updated 3 weeks ago
- ☆17Updated 2 months ago
- Kernel module that makes it possible to create virtual wifi devices each with a virtualized stack.☆11Updated 13 years ago
- elos -- event logging and management with normalized output-format for Linux☆22Updated 3 weeks ago
- The core components of the L4Re operating system.☆94Updated last week
- Mirror of git.qemu.org/seabios.git☆70Updated 2 months ago
- EDK II non-OSI licensed content☆78Updated last month
- Linux UEFI Validation Distribution☆117Updated 4 years ago