Timers (Pico2)

[XFer012]

Hello,
I'm trying to port a project from ESP32 to Pico2; the project uses hardware timers to generate interrupts, like in:

// ESP32 timer for interrupt
hw_timer_t * timer      = NULL;
portMUX_TYPE timerMux   = portMUX_INITIALIZER_UNLOCKED;
[...]

  timer = timerBegin(1000000);
  timerAttachInterrupt(timer, synthInterrupt);
  timerAlarm(timer, ISRMS, true, 0);
[...]

Is there something similar in arduino-pico core?
I've found references to this external library

https://github.com/khoih-prog/RPI_PICO_TimerInterrupt

but it looks like abandonware and only compatible with RP2040.

Thanks for any hint

[earlephilhower]

Look at the Ticker library here for a wrapper, and the Pico-SDK timer section for low-level one-shot and repeating timers.

[XFer012]

Mmmm... does it work with RP2350, though?
https://github.com/hreintke/ArduinoLibraries/blob/master/RP2040_Ticker/library.properties

[earlephilhower]

I meant the one already in the core, not an external one.