Hi All,

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
_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers

Reply via email to