diff --git a/emulation/ec/betrusted-ec.repl b/emulation/ec/betrusted-ec.repl
index e1918ef07..5ac00d7ec 100644
--- a/emulation/ec/betrusted-ec.repl
+++ b/emulation/ec/betrusted-ec.repl
@@ -1,5 +1,5 @@
 cpu: CPU.VexRiscv @ sysbus
-    cpuType: "rv32i"
+    cpuType: "rv32i_zicsr_zifencei"
     PerformanceInMips: 6
 
 uart: UART.LiteX_UART @ {