"Tickless" kernel support.