Hello, Adam, are you likely to get the source-level symbolic debugging working in jdb in the near future? Using objdump is a bit drastic! ;-) Thanks Daniel -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20110705/7da44624/attachment.html>