Is it possible to change the PWM Frequency to 20 kHz?

Hello @WioTerminalGeeks
how is it about a library for PWM? (Like for example PWM.h for Arduino or the function analogwritefrequency for Teensy)

with kind regards
Erik