preempt: introduce idle process; timer: use managed irqs for preemption