[TUHS] PID 0 and the scheduler