Tracing with Genode on OKL4

Christian Helmuth christian.helmuth at ...1...
Thu Jul 30 16:24:14 CEST 2009

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 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


I expect the OKL4 solution will look similar.

Christian Helmuth
Genode Labs ยท

More information about the users mailing list