diff --git a/sw/device/tests/autogen/alert_test.c b/sw/device/tests/autogen/alert_test.c
index 3aeec02..f55281a 100644
--- a/sw/device/tests/autogen/alert_test.c
+++ b/sw/device/tests/autogen/alert_test.c
@@ -673,6 +673,7 @@
         &alert_handler, exp_alert));
   }
 
+#ifndef DISABLE_RENODE_TEST
   // Write rv_core_ibex's alert_test reg and check alert_cause.
   for (int i = 0; i < 4; ++i) {
     CHECK_DIF_OK(dif_rv_core_ibex_alert_force(&rv_core_ibex, kDifRvCoreIbexAlertFatalSwErr + i));
@@ -687,6 +688,7 @@
     CHECK_DIF_OK(dif_alert_handler_alert_acknowledge(
         &alert_handler, exp_alert));
   }
+#endif
 
 #ifndef DISABLE_RENODE_TEST
   // Write rv_plic's alert_test reg and check alert_cause.
diff --git a/util/topgen/templates/alert_test.c.tpl b/util/topgen/templates/alert_test.c.tpl
index c098eef..cf72613 100644
--- a/util/topgen/templates/alert_test.c.tpl
+++ b/util/topgen/templates/alert_test.c.tpl
@@ -8,8 +8,8 @@
 ## list renode unsupported peripherals
 unsupported_peripherals = [
   "adc_ctrl", "clkmgr", "edn", "entropy_src", "keymgr", "pattgen",
-  "pinmux", "pwm", "rv_plic", "sensor_ctrl", "spi_device", "sram_ctrl",
-  "sysrst_ctrl", "usbdev"
+  "pinmux", "pwm", "rv_core_ibex", "rv_plic", "sensor_ctrl", "spi_device",
+  "sram_ctrl", "sysrst_ctrl", "usbdev"
 ]
 alert_peripheral_names = sorted({p.name for p in helper.alert_peripherals})
 %>\