How can I get the id of cpu(core) the current thread is running on? Thank you -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20140513/8d67fbe2/attachment.html>