from machine import Pin, Timer, PWM

led1 = Pin('GP19', Pin.OUT)            # Create input and output Pin objects
led2 = Pin('GP18', Pin.OUT)
btn1 = Pin('GP17', Pin.IN, Pin.PULL_DOWN)
btn2 = Pin('GP16', Pin.IN, Pin.PULL_DOWN)
pwm = PWM('GP0',freq = 50)

def checkButtons(timer):               # Callback function
    led1.value(btn1.value())
    led2.value(btn2.value())
    if btn1.value():
        pwm.duty_u16(1600)
    else:
        pwm.duty_u16(8000)


# Set up a timer to trigger every 50 ms
tmr = Timer(period = 50, callback = checkButtons)