diff --git a/src/dev/arm/Gic.py b/src/dev/arm/Gic.py
index e5bb238a9..bc7794af7 100644
--- a/src/dev/arm/Gic.py
+++ b/src/dev/arm/Gic.py
@@ -59,7 +59,7 @@ class Pl390(BaseGic):
     cpu_pio_delay = Param.Latency('10ns', "Delay for PIO r/w to cpu interface")
     int_latency = Param.Latency('10ns', "Delay for interrupt to get to CPU")
     it_lines = Param.UInt32(128, "Number of interrupt lines supported (max = 1020)")
-    gem5_extensions = Param.Bool(True, "Enable gem5 extensions")
+    gem5_extensions = Param.Bool(False, "Enable gem5 extensions")
 
 class Gicv2mFrame(SimObject):
     type = 'Gicv2mFrame'