100kHz PWM on Arduino Nano RP2040 Connect

[ptillisch]

@alexroz

C:\Users\rozno\Documents\Arduino\libraries\RP2040_PWM\src/RP2040_PWM.h:340:26: error: invalid conversion from 'pwm_config*' to 'uint {aka unsigned int}' [-fpermissive]
     pwm_init(_slice_num, &config, true);
                          ^~~~~~~

In case you are still interested in the subject, there is some information about the problem here:

Library RP2040_pwm don't compile

Hi @glenton. I investigated and found that the developers of the "Arduino Mbed OS Nano Boards" platform apply a patch to the "Pico C SDK" of the RP2040 microcontroller that makes an undocumented breaking change to the API: That change to the Pico SDK API breaks the "RP2040_PWM" library. I'll provide three options for fixing/working around this problem. You can pick whichever one of the three that is most convenient to you. A. Use the "Raspberry Pi Pico/RP2040" boards platform The "Raspberry…