From 832b98c28ec52887d3782d22a3ec344f9abff31b Mon Sep 17 00:00:00 2001
From: zackees <z@zackees.com>
Date: Tue, 21 Jul 2026 19:29:40 -0700
Subject: [PATCH] perf(ch32v): enable V30x hard-float ABI

---
 .../fbuild-config/assets/boards/json/genericCH32V303VCT6.json | 4 ++--
 .../fbuild-config/assets/boards/json/genericCH32V307VCT6.json | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/crates/fbuild-config/assets/boards/json/genericCH32V303VCT6.json b/crates/fbuild-config/assets/boards/json/genericCH32V303VCT6.json
index 4c8a2981b..6eb0c4cb8 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 725721ee5..fe4170cbc 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"