Minimalist bare metal Rust firmware for Red Pitaya
Updated 11 months ago
Updated 1 year ago
MQTT-controlled 4-channel DDS signal generator using Urukul, Humpback and STM32 NUCLEO
Updated 2 years ago
A Rust library implementing safe, lightweight context switches, without relying on kernel services
Updated 2 years ago
Updated 2 years ago
A modified version of compiler-builtins for zynq, with fast memcpy implementation adapted from newlib.
Updated 3 years ago
Simple Flash Key-Value store
Updated 3 years ago
Updated 3 years ago
Formally verified ARTIQ RTIO core in nMigen
Updated 3 years ago
Simple netboot tool compatible with ARTIQ/MiSoC and SZL bootloaders
Updated 3 years ago
A port of [riscv-formal](https://github.com/SymbioticEDA/riscv-formal) to nMigen
Updated 3 years ago
M-Labs website (legacy) - see web2019 repository instead
Updated 3 years ago
Next-generation FPGA SoC toolkit
Updated 4 years ago
Updated 4 years ago
Trivial network-controlled plugs
Updated 4 years ago