pico-ice
RaspberryPi Pico with an iCE40 FPGA
SDK API
Here is a list of all modules:
 Ice_cramFPGA CRAM access
 Ice_flashFlash chip I/O
 Ice_fpgaFPGA I/O and control
 Ice_ledRGB LEDs
 Ice_pmodPMODs connector pinout
 Ice_spiMain SPI bus I/O
 Ice_sramSRAM chip I/O
 Ice_usbTinyUSB and TinyUF2 configuration