Hi okl4.org I would like to know how to test and debug the elf format files such as image.boot / image.elf or l4 kernel elf file, l4kernel. Best regards, Seung-Ho Lim -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.okl4.org/pipermail/developer/attachments/20070605/83af8a13/attachment.htm