Tracing with Genode on OKL4

[Christian Helmuth]

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
-- 
Christian Helmuth
Genode Labs

http://www.genode-labs.com/ · http://genode.org/