Arduino library for the Pico HAT extension board for the Raspberry Pi Pico.
Port of the original TKJHAT Pico C SDK to Arduino