Re: Tracing with Genode on OKL4

Hello Frank,

On Thu, Jul 30, 2009 at 01:37:22PM +0100, Frank Kaiser wrote:

Is there any specific reason why trace output generated with printf() or similar functions is not routed to OKL4's KDB interface (functions L4_KDB...)?

AFAIK we had minor issues with scheduling (switch_to) and the OKL4 debug console during first steps of our port. You may adapt okl4_console.cc easily to use the build-in kernel debugger if that is okay for you.

Since the problem is urgent, I require some hints to make Genode able using OKL4's KDB interface.

Please have a look into

base-pistachio/src/base/console/pistachio_console.cc

I expect the OKL4 solution will look similar.

Greets