求教一下有关Nachos的问题

在Ubuntu上运行Nachos时，如果Nachos中检查的到期中断全部处理完毕并且就绪队列为空，Nachos会在一段时间后自动调用Halt退出吗？还是会调用idle后一直循环检查中断和就绪队列呢？