getc()

[Espen Skoglund]

[Peter Nguyen]
> OK.  Where is this code located? 

> I'm currently using L4Ka::Pistachio, API version 0x84.0x5, Kernel ID
> 4.2 (as stated when printing out the KIP in open firmware).

There's an include <l4/kdebug.h> that defines an L4_KDB_ReadChar() and
L4_KDB_ReadChar_Blocked().  However, since you're using powerpc I
don't think the non-blocking version is implemented.  I haven't used
any openfirmware stuff myselg, but I guess it's straight forward to
implement it.  Look at:

   user/include/l4/powerpc/kdebug.h
   kernel/kdb/glue/v4-powerpc/prepost.cc
   kernel/kdb/platform/ofppc/io.cc

You could use the arch/ia32, platform/pc99 implementation as reference.

	eSk