picolibc: Add patch to avoid float/double values in vfprintf

keith-packard · stephanosio · commit 5acbb3b67815 · 2025-08-14T13:26:05.000+09:00
vfprintf doesn't perform any floating point math when printing floats,
by removing the use of float types, we can avoid using float registers
entirely.

Signed-off-by: Keith Packard &lt;keithp@keithp.com&gt;
diff --git a/picolibc b/picolibc
@@ -1 +1 @@
-Subproject commit c0902a4b372c969be10204a9945c2480a395681b
+Subproject commit 01254932e8e81085817ed61fd858648584ffe37c
