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