Higher resolution timer for linux