loader for CVItek/Sophgo SoCs (CV1800B, SG200x)

Platform System Interface Specification Ψ📖

RISC-V CPU simulator for education purposes

A tiny RISC-V instruction decoder and instruction set simulator

A fast RISC-V emulator based on the RISC-V Sail model, and an experimental ARM one

A secure, fast, and adaptable OS based on the seL4 microkernel

32-bit RISC-V CPU in ~800 lines of C89

The fastest RISC-V sandbox

Linux device manager for Logitech devices

A collection of Ascon implementations & documents (as submodules)

Double Commander is a free cross platform open source file manager with two panels side by side.

VisionFive 2 firmware loader

Envision a future where every student can read all the code of a teaching operating system.

Yet Another Picoprobe

Firmware source and binaries for the RP2040-based Debug Probe accessory

Verwaltung von Mannschaften und Spielergebnissen für einen Ligabetrieb

Microkit - A simple operating system framework for the seL4 microkernel

RISC-V emulator for CLI and Web written in Rust with WebAssembly. It supports xv6 and Linux (ongoing).

USB to dual UART / SPI / I2C / JTAG / FIFO / Bit-Bang...

A bare metal USB driver for Raspberry Pi 1-3 written in C

Genode OS Framework

Fork of OpenOCD that has RISC-V support

Foundational Cryptography Framework for machine-checked proofs of cryptography.