Stars
Random instruction generator for RISC-V processor verification
A list of resources related to the open-source FPGA projects
µC/OS-III is a preemptive, highly portable, and scalable real-time kernel. Designed for ease of use on a huge number of CPU architectures.
µC/OS-II is a preemptive, highly portable, and scalable real-time kernels. Designed for ease of use on a huge number of CPU architectures.
Generate Rust register maps (`struct`s) from SVD files
RSD: RISC-V Out-of-Order Superscalar Processor
Konata is an instruction pipeline visualizer for Onikiri2-Kanata/Gem5-O3PipeView formats. You can download the pre-built binaries from https://github.com/shioyadan/Konata/releases
lightweight hypervisor SDK written in C++ with support for Windows, Linux and UEFI
Flexible Intermediate Representation for RTL
🌊 Digital timing diagram rendering engine
Ghidra is a software reverse engineering (SRE) framework
Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate …
A secure embedded operating system for microcontrollers
oreboot is a fork of coreboot, with C removed, written in Rust.
draws an SVG schematic from a JSON netlist
Highly efficient implementation of elliptic curve 25519
Tool to generate register RTL, models, and docs using SystemRDL or JSpec input
Diaphora, the most advanced Free and Open Source program diffing tool.
Unix architecture evolution diagrams
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
Community guide to using YubiKey for GnuPG and SSH - protect secrets with hardware crypto.
A linux-based assembly REPL for x86, amd64, armv7, and armv8
Personal document manager (Linux/Windows) -- Moved to Gnome's Gitlab