An interesting question came up.
How can applications register for a regular timer "tick" - a function they provide which is called by the OS in interrupt context periodically?
I wonder if there could be an API for a timer device with period (rw), base_freq (r), address (rw) and enable (rw).
You could do a similar thing for vertical blanking interval interrupts.
The SDK could help, checking you have an extern "C" function and so on.