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 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20140924/b46dc09b/attachment.html>