Low-level programming tool for IcoBoard. Runs on Raspberry Pi. Usually called via SSH from a workstation (unless FPGA bit-streams are generated locally on the Raspberry Pi).
Simple System-on-Chip (SoC) generator for PicoRV32-based SoCs running on the IcoBoard. Including standard components for GPIO, RS232, SPI, ...