Add framework for ppc64 support.  Apologies in advance for the
inevitable breakage to other platforms.



git-svn-id: svn://svn.valgrind.org/valgrind/trunk@5250 a5019735-40e9-0310-863c-91ae7b9d1cf9
diff --git a/coregrind/m_debugger.c b/coregrind/m_debugger.c
index 8c0bc27..9a5cc0d 100644
--- a/coregrind/m_debugger.c
+++ b/coregrind/m_debugger.c
@@ -36,6 +36,7 @@
 #include "pub_core_libcprint.h"
 #include "pub_core_libcproc.h"
 #include "pub_core_libcsignal.h"
+#include "pub_core_libcassert.h"
 #include "pub_core_options.h"
 
 
@@ -130,6 +131,9 @@
                      (void*)LibVEX_GuestPPC32_get_XER(vex));
    return rc;
 
+#elif defined(VGA_ppc64)
+   I_die_here;
+
 #else
 #  error Unknown arch
 #endif