The Pico is, of course, the Raspberry Pi microcontroller dev board based on their RP2040 microcontroller ... They had some extra real estate on the PCB, so they’ve added an Infineon CYW43439 ...