1.2 Timer Device Driver Specification