diff --git a/config/rv64gc/config.vh b/config/rv64gc/config.vh index 564b32f5d..8decf60d5 100644 --- a/config/rv64gc/config.vh +++ b/config/rv64gc/config.vh @@ -42,7 +42,7 @@ localparam ZIFENCEI_SUPPORTED = 1; localparam COUNTERS = 12'd32; localparam ZICNTR_SUPPORTED = 1; localparam ZIHPM_SUPPORTED = 1; -localparam ZFH_SUPPORTED = 1; +localparam ZFH_SUPPORTED = 0; localparam SSTC_SUPPORTED = 1; localparam ZICBOM_SUPPORTED = 1; localparam ZICBOZ_SUPPORTED = 1;