diff --git a/litex/tools/litex_json2renode.py b/litex/tools/litex_json2renode.py
index c23c09a3e..c30c90054 100755
--- a/litex/tools/litex_json2renode.py
+++ b/litex/tools/litex_json2renode.py
@@ -235,11 +235,6 @@ cpu: CPU.VexRiscv @ sysbus
     timeProvider: {}
 """.format(time_provider)
 
-        if kind == 'vexriscv_smp':
-            result += """
-    builtInIrqController: false
-"""
-
         return result
     elif kind == 'picorv32':
         return """