esk at ira.uka.de
Mon Apr 30 11:42:03 CEST 2007
> 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:
You could use the arch/ia32, platform/pc99 implementation as reference.
More information about the l4-hackers