What command in JDB gives me a list of thread IDs I can use with the other thread commands. I tried the list tasks and didn't see anything that looked like a thread id. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20141008/0426047a/attachment.html>