* This driver implements the timer functionalities as defined by \ref library_srvsw_stdif_timer. * The user is free to use either the driver specific APIs below or to used the \ref library_srvsw_stdif ...