Pulling in that SDK upstream is likely not feasible for multiple reasons
including the licencing side. That said there already is some support for
the BCM43xxx chips which if I recall correctly are the same family, and it
may be not too much work to add missing support.
--Brennan
On Sat, Jul 9, 2
I am looking into adding support for the Raspberry Pi Pico W which uses the
Infineon’s CYW43439 WiFi chip.
Rather than trying to write I complete interface to this chip, I was wondering
whether it would be appropriate to build with the code in the Pico-SDK supplied
by the Raspberry Pi foundatio