diff -r de1151bcfd77 -r b9af1c29615b src/arch/arm/faults.hh
--- a/src/arch/arm/faults.hh	Fri Aug 13 11:51:16 2010 -0500
+++ b/src/arch/arm/faults.hh	Fri Aug 13 11:51:51 2010 -0500
@@ -49,6 +49,7 @@
 #include "arch/arm/types.hh"
 #include "config/full_system.hh"
 #include "sim/faults.hh"
+#include "base/misc.hh"
 
 // The design of the "name" and "vect" functions is in sim/faults.hh
 
@@ -217,6 +218,11 @@
 class Interrupt : public ArmFaultVals<Interrupt> {};
 class FastInterrupt : public ArmFaultVals<FastInterrupt> {};
 
+static inline Fault genMachineCheckFault()
+{
+    return new Reset();
+//    panic("Machine check fault not implemented in ARM!\n");
+}
 
 } // ArmISA namespace