I'm looking at kern_idle.c in stable/7 and I don't quite follow how idle threads work. The kthread_create(9) call does not pass in a function pointer, so what code does a processor run when there is no other runnable thread? Thanks, matthew