[okl4-developer] Would you teach the method of debug pistachio/iguana/wombat?

[Tomohiro Kitamura]

Hello okl4.org

I would like to build the image with debug symbol in okl4_release_1.4.1.1.
Although I research how I build the image for debug, I can't find it.
Could you teach the method to build the image with symbol information?

If it is impossible to do it,  would you have a other method for debug
about pistachio, iguana and wombat ?
I want to know about wombat debug in particular.
Wombat hang up in our hardware in the middle of boot process.
I want to investigate about cause of hangup.
When I added printk() to linux souorce for debug, many errors occur.
Therefore I can't debug the wombat.

I already know about kdb.
but I don't know about detail of how to use it.
Is there more detail documentation about kdb other than OKL4
Microkernel Programing Manual?


Tomohiro