diff --git a/pipelined/config/rv32ia/wally-config.vh b/pipelined/config/rv32ia/wally-config.vh
index 93dda4a67..93042b8c0 100644
--- a/pipelined/config/rv32ia/wally-config.vh
+++ b/pipelined/config/rv32ia/wally-config.vh
@@ -43,6 +43,7 @@
 `define ZIFENCEI_SUPPORTED 1
 `define COUNTERS 32
 `define ZICOUNTERS_SUPPORTED 1
+`define ZFH_SUPPORTED 0
 
 // Microarchitectural Features
 `define UARCH_PIPELINED 1
diff --git a/pipelined/config/rv64ia/wally-config.vh b/pipelined/config/rv64ia/wally-config.vh
index efe101c21..43bd1ecd4 100644
--- a/pipelined/config/rv64ia/wally-config.vh
+++ b/pipelined/config/rv64ia/wally-config.vh
@@ -43,6 +43,7 @@
 `define ZIFENCEI_SUPPORTED 1
 `define COUNTERS 32
 `define ZICOUNTERS_SUPPORTED 1
+`define ZFH_SUPPORTED 0
 
 /// Microarchitectural Features
 `define UARCH_PIPELINED 1