diff --git a/crates/fbuild-config/assets/boards/json/genericCH32V303VCT6.json b/crates/fbuild-config/assets/boards/json/genericCH32V303VCT6.json
index 4c8a2981..6eb0c4cb 100644
--- a/crates/fbuild-config/assets/boards/json/genericCH32V303VCT6.json
+++ b/crates/fbuild-config/assets/boards/json/genericCH32V303VCT6.json
@@ -10,8 +10,8 @@
     "core": "openwch",
     "extra_flags": "-DCH32V303VC -DCH32V30X -DCH32V30x -DCH32V303 -DCH32V30x_D8",
     "f_cpu": "144000000L",
-    "mabi": "ilp32",
-    "march": "rv32imacxw",
+    "mabi": "ilp32f",
+    "march": "rv32imafcxw",
     "mcu": "ch32v303vct6",
     "series": "ch32v303"
   },
diff --git a/crates/fbuild-config/assets/boards/json/genericCH32V307VCT6.json b/crates/fbuild-config/assets/boards/json/genericCH32V307VCT6.json
index 725721ee..fe4170cb 100644
--- a/crates/fbuild-config/assets/boards/json/genericCH32V307VCT6.json
+++ b/crates/fbuild-config/assets/boards/json/genericCH32V307VCT6.json
@@ -10,8 +10,8 @@
     "core": "openwch",
     "extra_flags": "-DCH32V30x_C -DCH32V307VC -DCH32V30X -DCH32V30x -DCH32V307",
     "f_cpu": "144000000L",
-    "mabi": "ilp32",
-    "march": "rv32imacxw",
+    "mabi": "ilp32f",
+    "march": "rv32imafcxw",
     "mcu": "ch32v307vct6",
     "series": "ch32v307",
     "variant": "ch32v307_evt"