from machine import Pin, Timer
led = Pin(5, Pin.OUT)
timer = Timer()

def blink(timer):
    # no creo que timer haga algo, solo hay que recibir un parámetro

    led.toggle()

timer.init(freq=2.5, mode=Timer.PERIODIC, callback=blink)
BOOTSELLED1239USBRaspberryPiPico©2020RP2-8020/21P64M15.00TTT