The following files are firmware for the Walnut Pi Pico W.