[okl4-developer] Debug Tools

[Gary Gibson]

Howdy!
 
I am starting off a project using L4 that will entail kernel mods and
porting to an ARM1176 platform and am curious to know what debug tools are
being used successfully in the OKL4 Universe. From what I have read it
appears that most of the kernel debug is being done with the debug
facilities built into software emulators (Skyeye/QEMU) and Kernel Debugger.
 
Are any of you using remote gdb debugging or JTAG based tools (e.g.,
Albatron / American Arium / ARM) or their ETM based trace tools while
debugging on target hardware ?
 
 
How about at the Linux Kernel Level (OKLinux/Wombat) ?
 
Thanks!
Gary
 
 
 
 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.okl4.org/pipermail/developer/attachments/20080124/d4a30fb6/attachment.htm