Linux clock driver