Merge "Update renode alert test"
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})
%>\