Timer1 library for ZERO?

Hi

Does anyone know if there is a version of the Timer1 library for Arduino ZERO?

Roger

Has anyone got Timer1 working with the Arduino Zero?