diff --git a/src/dev/arm/Gic.py b/src/dev/arm/Gic.py
index d2e2ace3f9..734299f50b 100644
--- a/src/dev/arm/Gic.py
+++ b/src/dev/arm/Gic.py
@@ -237,6 +237,10 @@ class Gicv3(BaseGic):
         node.append(self._state.sizeCellsProperty())
         node.append(FdtProperty("interrupt-controller"))
 
+        redist_stride = 0x40000 if self.gicv4 else 0x20000
+        node.append(FdtPropertyWords("redistributor-stride",
+            state.sizeCells(redist_stride)))
+
         regs = (
             state.addrCells(self.dist_addr) +
             state.sizeCells(0x10000) +