Stars
loader for CVItek/Sophgo SoCs (CV1800B, SG200x)
Platform System Interface Specification
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
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.
Envision a future where every student can read all the code of a teaching operating system.
rgrr / yapicoprobe
Forked from raspberrypi/debugprobeYet 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...
leonardblazevic / uspi
Forked from rsta2/uspiA bare metal USB driver for Raspberry Pi 1-3 written in C
Foundational Cryptography Framework for machine-checked proofs of cryptography.