Officially supportet timer library for Due

I am searching the official timer library for the Due at Arduino - Libraries and did not found anything. Where can I find it?

It seems there is no 'official' timer library existing at the moment. But I can recommend the library 'TimerDue'. You can find it at GitHub.