diff -r 63fefbafc6bc -r 5bbc826fb52e src/arch/arm/ArmSystem.py
--- a/src/arch/arm/ArmSystem.py	Thu May 07 11:39:41 2015 +0100
+++ b/src/arch/arm/ArmSystem.py	Thu May 07 11:39:59 2015 +0100
@@ -58,8 +58,6 @@
     have_virtualization = Param.Bool(False,
         "True if Virtualization Extensions are implemented")
     have_lpae = Param.Bool(False, "True if LPAE is implemented")
-    have_generic_timer = Param.Bool(False,
-        "True if the Generic Timer extension is implemented")
     highest_el_is_64 = Param.Bool(False,
         "True if the register width of the highest implemented exception level "
         "is 64 bits (ARMv8)")
diff -r 63fefbafc6bc -r 5bbc826fb52e src/arch/arm/system.hh
--- a/src/arch/arm/system.hh	Thu May 07 11:39:41 2015 +0100
+++ b/src/arch/arm/system.hh	Thu May 07 11:39:59 2015 +0100
@@ -85,11 +85,6 @@
     const bool _haveVirtualization;
 
     /**
-     * True if this system implements the Generic Timer extension
-     */
-    const bool _haveGenericTimer;
-
-    /**
      * Pointer to the Generic Timer wrapper.
      */
     GenericTimer *_genericTimer;
@@ -157,9 +152,6 @@
       */
     bool haveVirtualization() const { return _haveVirtualization; }
 
-    /** Returns true if this system implements the Generic Timer extension. */
-    bool haveGenericTimer() const { return _haveGenericTimer; }
-
     /** Sets the pointer to the Generic Timer. */
     void setGenericTimer(GenericTimer *generic_timer)
     {
diff -r 63fefbafc6bc -r 5bbc826fb52e src/arch/arm/system.cc
--- a/src/arch/arm/system.cc	Thu May 07 11:39:41 2015 +0100
+++ b/src/arch/arm/system.cc	Thu May 07 11:39:59 2015 +0100
@@ -57,7 +57,6 @@
     : System(p), bootldr(NULL), _haveSecurity(p->have_security),
       _haveLPAE(p->have_lpae),
       _haveVirtualization(p->have_virtualization),
-      _haveGenericTimer(p->have_generic_timer),
       _genericTimer(nullptr),
       _highestELIs64(p->highest_el_is_64),
       _resetAddr64(p->reset_addr_64),