GitHub repository: t3m0k/pico-ice-sdk
Description: Firmware and software support for the pico-ice board