diff --git a/config/rv32gc/wally-config.vh b/config/rv32gc/wally-config.vh
index d9d770f8..37eff79e 100644
--- a/config/rv32gc/wally-config.vh
+++ b/config/rv32gc/wally-config.vh
@@ -137,7 +137,7 @@
 `define BPRED_SIZE 16
 `define BTB_SIZE 10
 
-`define SVADU_SUPPORTED 0
+`define SVADU_SUPPORTED 1
 `define ZMMUL_SUPPORTED 0
 
 // FPU division architecture
diff --git a/config/rv64gc/wally-config.vh b/config/rv64gc/wally-config.vh
index 4ef3bf51..b44351ef 100644
--- a/config/rv64gc/wally-config.vh
+++ b/config/rv64gc/wally-config.vh
@@ -140,7 +140,7 @@
 `define BPRED_SIZE 10
 `define BTB_SIZE 10
 
-`define SVADU_SUPPORTED 0
+`define SVADU_SUPPORTED 1
 `define ZMMUL_SUPPORTED 0
 
 // FPU division architecture
diff --git a/sim/imperas.ic b/sim/imperas.ic
index 2c122576..d561b22f 100644
--- a/sim/imperas.ic
+++ b/sim/imperas.ic
@@ -30,8 +30,8 @@
 --override cpu/ignore_non_leaf_DAU=1
 --override cpu/wfi_is_nop=T
 --override cpu/misa_Extensions_mask=0x0
-#--override cpu/updatePTEA=T
-#--override cpu/updatePTED=T
+--override cpu/updatePTEA=T
+--override cpu/updatePTED=T
 --override cpu/Sstc=T
 
 # THIS NEEDS FIXING to 16