In my application I need some timers. I will write those myself if I need to, but perhaps there is some code available already? I’m thinking of a system (in a relatively high priority task, perhaps?) that I can say something like “notify me every 500ms” or “do this after 12s”. In more technical terms, start/stop a periodic/single_shot timer with somehow defining what to do at time out. Any pointers?