Die One-Shot Timer werden, wie im Entwurf beschrieben von einem separaten Thread ausgeführt. Sind keine Aufgaben zu erfüllen, schläft der Thread (IPC Empfangsoperation), verbraucht also keine CPU Zeit. Die Timer-Listen wurden leicht verändert aus Linux übernommen (siehe [Hel01b] lib/src/common/time.c).