I thought that the NtYieldExecution call in PsIdleThreadMain should be sufficient, isn't it?
You are right. I haven't look for this. Currently I've some problems on my smp machine, where an application (make while building ros on ros) waits for something and both timer interrupts intercept always the idle thread after the hlt instruction.
- Hartmut