[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