Posix.Sched.Algorithm.IDLE – posix Reference Manual