I want to know what kernel idle thread does.

Does it just execute "halt" instruction or anything else?

Where is code for the idle thread?

Thank you so much.

Best,

Yuxin