quic / gunyah-c-runtime
A small C runtime for bare-metal VMs on the Gunyah Hypervisor.
☆10Updated 8 months ago
Related projects: ⓘ
- A Root VM supporting virtualization with the Gunyah Hypervisor.☆13Updated 8 months ago
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆10Updated last year
- The RV BRS test suite checks for compliance against the RVI Boot and Runtime Service specification.☆10Updated last month
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 2 years ago
- ☆16Updated this week
- Virtual Machine built as a CAmkES component.☆21Updated 2 months ago
- Kernel coredump file access☆23Updated 3 months ago
- SiFive OpenEmbedded / Yocto BSP Layer☆49Updated this week
- Test suite for seL4.☆24Updated last month
- Arm SystemReady☆52Updated 2 weeks ago
- Basic tools for building seL4 projects☆42Updated last month
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆22Updated 2 years ago
- a theoretically sound real-time scheduling latency measurement tool☆31Updated 3 years ago
- This is the source of the seL4 docs.☆16Updated this week
- sel4 benchmarking applications and support library.☆18Updated 2 months ago
- ☆31Updated last week
- ☆13Updated 3 weeks ago
- Mirror of git.qemu.org/u-boot.git☆59Updated last year
- Wind River Linux Setup -- Distribution Build Project Assembler☆12Updated 4 years ago
- UEFI, on Loongson.☆13Updated 8 years ago
- An open source implementation of an AMD-V Secure Loader.☆23Updated 2 years ago
- OpenEmbedded/Yocto Layer for Arm☆18Updated this week
- ☆13Updated last year
- Linux UEFI Validation Distribution☆113Updated 3 years ago
- work in progress ports of linuxboot for various mainboards☆21Updated last year
- Virtual machine monitor for L4Re☆27Updated last week
- ☆16Updated 3 weeks ago
- Website content for devicetree.org☆13Updated 3 months ago
- FreeRTOS for Jailhouse Cells☆47Updated last year
- ARM Enterprise ACS☆42Updated 2 years ago