diff --git a/configs/example/arm/devices.py b/configs/example/arm/devices.py
index 01691f4131..c6560d74dd 100644
--- a/configs/example/arm/devices.py
+++ b/configs/example/arm/devices.py
@@ -268,7 +268,9 @@ class FastmodelCluster(SubSystem):
         ]
         CpuClass = CpuClasses[num_cpus - 1]
 
-        cpu = CpuClass(GICDISABLE=False)
+        cpu = CpuClass(
+            GICDISABLE=False, BROADCASTATOMIC=False, BROADCASTOUTER=False
+        )
         for core in cpu.cores:
             core.semihosting_enable = False
             core.RVBARADDR = 0x10