from machine import PWM

# create a PWM object on pin GP0 and set freq = 50 kHz and duty cycle = 12.5%
pwm = PWM(0, freq=50000, duty_u16=8192)
# set duty to 50%
pwm.duty_u16(32768)                     

while True:
    pass