l4ka-pistachio/kernel/kdb
Jan Stoess 1ae3d58bff Fix printing of 64-bit decimal values specified by "%lld" in format
identifier.
2012-09-12 16:37:18 +02:00
..
api/v4 Fix printf format identifier handling. Use %X for printing uppercase 2012-07-30 15:21:56 +02:00
arch - Add ppc_{get,set}_fpscr 2010-07-14 16:35:16 +02:00
generic Fix printing of 64-bit decimal values specified by "%lld" in format 2012-09-12 16:37:18 +02:00
glue PPC: use SUBPLATFORM instead of PLATFORM to distinguish between bg and 2010-09-13 16:37:34 +02:00
platform -Another set of small serial console changes 2010-07-15 09:38:50 +02:00
Makeconf Merged kernel/include/ into kernel/src/. 2007-07-06 13:02:01 +02:00