-
Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.
-
-
opensbi Public
Forked from riscv-software-src/opensbiRISC-V Open Source Supervisor Binary Interface
-
xvisor-next Public
Forked from xvisor/xvisorXvisor: eXtensible Versatile hypervISOR
-
-
-
riscv-isa-sim Public
Forked from riscv-software-src/riscv-isa-simSpike, a RISC-V ISA Simulator
C Other UpdatedAug 4, 2025 -
librpmi Public
Forked from riscv-software-src/librpmiReference implementation of RPMI specification as a library.
C Other UpdatedMay 6, 2025 -
riscv-isa-manual Public
Forked from riscv/riscv-isa-manualRISC-V Instruction Set Manual
TeX Creative Commons Attribution 4.0 International UpdatedFeb 27, 2025 -
riscv-sbi-doc Public
Forked from riscv-non-isa/riscv-sbi-docDocumentation for the RISC-V Supervisor Binary Interface
Makefile Creative Commons Attribution 4.0 International UpdatedFeb 2, 2025 -
riscv-rpmi Public
Forked from riscv-non-isa/riscv-rpmiRISC-V Platform Management Interface Specification. OS-agnostic messaging interface for system management and control
Makefile Creative Commons Attribution 4.0 International UpdatedJan 10, 2025 -
-
hypervisors Public
Forked from riscv-admin/hypervisorsCreative Commons Attribution 4.0 International UpdatedNov 3, 2021 -
-
riscv-platform-specs Public
Forked from riscvarchive/riscv-platform-specsRISC-V Profiles and Platform Specification
Makefile Creative Commons Attribution 4.0 International UpdatedAug 28, 2021 -
hart-software-services Public
Forked from polarfire-soc/hart-software-servicesPolarFire SoC hart software services
C Other UpdatedOct 8, 2020 -
dromajo Public
Forked from chipsalliance/dromajoRISC-V RV64GC emulator designed for RTL co-simulation
C++ Apache License 2.0 UpdatedMay 8, 2020 -
riscv-software-list Public
Forked from riscvarchive/riscv-software-listThe RISC-V software tools list, as seen on riscv.org
UpdatedJan 7, 2020 -
A secure embedded operating system for microcontrollers
Rust Other UpdatedNov 15, 2019 -
riscv-pk Public
Forked from riscv-software-src/riscv-pkRISC-V Proxy Kernel
-
udmabuf Public
Forked from ikwzm/udmabufUser space mappable dma buffer device driver for Linux.
C BSD 2-Clause "Simplified" License UpdatedJun 4, 2018 -
atomthreads-arm Public
Forked from kelvinlawson/atomthreadsLightweight, Portable RTOS Scheduler
{{ message }}