l4ka-pistachio/kernel/kdb/glue/v4-powerpc
Jan Stoess af23a208d9 PPC: use SUBPLATFORM instead of PLATFORM to distinguish between bg and
ebony
2010-09-13 16:37:34 +02:00
..
Makeconf Added support for PPC440 processors, including full-virtualization capabilities 2010-03-16 10:38:11 +01:00
addr.cc Added support for PPC440 processors, including full-virtualization capabilities 2010-03-16 10:38:11 +01:00
code.cc Added support for PPC440 processors, including full-virtualization capabilities 2010-03-16 10:38:11 +01:00
ipc.cc Added support for PPC440 processors, including full-virtualization capabilities 2010-03-16 10:38:11 +01:00
prepost.cc PPC: use SUBPLATFORM instead of PLATFORM to distinguish between bg and 2010-09-13 16:37:34 +02:00
thread.cc Added support for PPC440 processors, including full-virtualization capabilities 2010-03-16 10:38:11 +01:00