diff --git a/src/dev/arm/Gic.py b/src/dev/arm/Gic.py
index 6cb03c8cb9..8b2a564564 100644
--- a/src/dev/arm/Gic.py
+++ b/src/dev/arm/Gic.py
@@ -155,6 +155,7 @@ class ArmSigInterruptPin(ArmInterruptPin):
     cxx_class = "gem5::ArmSigInterruptPinGen"
 
     irq = IntSourcePin("Interrupt pin")
+    platform = NULL
 
 
 class GicV2(BaseGic):
diff --git a/src/dev/arm/base_gic.cc b/src/dev/arm/base_gic.cc
index 5694c37399..59c3aae17b 100644
--- a/src/dev/arm/base_gic.cc
+++ b/src/dev/arm/base_gic.cc
@@ -154,7 +154,6 @@ ArmInterruptPin::ArmInterruptPin(
       : threadContext(tc), platform(dynamic_cast<RealView*>(p.platform)),
         intNum(p.num), triggerType(p.int_type), _active(false)
 {
-    fatal_if(!platform, "Interrupt not connected to a RealView platform");
 }
 
 void
@@ -190,6 +189,7 @@ ArmSPI::ArmSPI(
     const ArmSPIParams &p)
       : ArmInterruptPin(p, nullptr)
 {
+    fatal_if(!platform, "Interrupt not connected to a RealView platform");
 }
 
 void
@@ -210,6 +210,7 @@ ArmPPI::ArmPPI(
     const ArmPPIParams &p, ThreadContext *tc)
       : ArmInterruptPin(p, tc)
 {
+    fatal_if(!platform, "Interrupt not connected to a RealView platform");
 }
 
 void