The Sonata System Introduction Guides Updating the Sonata System Reloading the RP2040 Reloading the FPGA image Building examples Developer Guide Programming sonata software Software toolchain setup FPGA development FPGA programming Simulation environment Building documentation Release procedure Sonata Hardware Reference Sonata Core Reference Ibex GPIO PWM HyperRAM ADC Pinmux Sonata Pinmappings Revoker System info Timer UART I2C host SPI host USB device PLIC Debug module Sonata Board Reference