Source for a hardware multitimer running on the Raspberry Pi Pico - View it on GitHub