Jan Stoess 423f77f1a9 Fix printf format identifier handling. Use %X for printing uppercase ... hexadecimal. And use %llx/%llp/%llu and so on to print long longs (u64_t).		2012-07-30 15:21:56 +02:00
..
Makeconf	Added missing headers	2010-03-02 23:58:37 +01:00
input.cc	Merge cpu_t objects from glue to an api-wide one.	2010-06-24 12:29:25 +02:00
kernelinterface.cc	Initial repository adapted to hg	2007-07-06 12:24:13 +02:00
schedule-hs.cc	Fix printf format identifier handling. Use %X for printing uppercase	2012-07-30 15:21:56 +02:00
schedule-rr.cc	-Don't parse pagetables for get_on_cpu if SMP is disabled	2010-07-01 13:25:04 +02:00
sigma0.cc	Added support for PPC440 processors, including full-virtualization capabilities	2010-03-16 10:38:11 +01:00
space.cc	Initial repository adapted to hg	2007-07-06 12:24:13 +02:00
tcb.cc	Merge cpu_t objects from glue to an api-wide one.	2010-06-24 12:29:25 +02:00
thread.cc	Fix printf format identifier handling. Use %X for printing uppercase	2012-07-30 15:21:56 +02:00