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

keith-packard · keith-packard · commit 45929828aea8 · 2025-08-11T10:14:31.000-07: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
