SDK for developing enclaves

Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

RISC-V ACPI I/O Mapping Table Specification

A bare-metal application to test specific features of the risc-v hypervisor extension

A bare-metal application to test specific features of the risc-v hypervisor extension

RISC-V Open Source Supervisor Binary Interface

Container with all dependencies required for running rust-vmm crates integration tests.

A bare-metal application to test specific features of the risc-v hypervisor extension

A collection of CUDA programming examples to learn GPU programming

RISC-V Supervisor Binary Interface (RISC-V SBI) library in Rust; runs on M or HS mode; good support for embedded Rust ecosystem. For binary download see prototyper folder.

The Community of Jiachen Project.

An open-source implementation of the VADL processor description language.

Alistair's fork of the official QEMU repository

Proposal for a RISC-V Core-Local Interrupt Controller (CLIC)

🔎 Impossibly fast web search, made for static sites.

🐦 A full-text WebAssembly search engine for static websites. Build, index, and fly.

A formalization of the RVWMO (RISC-V) memory model

Bao, a Lightweight Static Partitioning Hypervisor

Examples of using BPF ring buffer APIs

sched_ext schedulers and tools

SIMD Library for Evaluating Elementary Functions, vectorized libm and DFT