From 56d74a352c72d3185ceb9839a9842e90f4ebf20e Mon Sep 17 00:00:00 2001
From: Andrew Tridgell <andrew@tridgell.net>
Date: Mon, 21 Feb 2022 14:45:32 +1100
Subject: [PATCH] AP_HAL: fixed vprintf for no hal.h

---
 libraries/AP_HAL/utility/print_vprintf.cpp | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/libraries/AP_HAL/utility/print_vprintf.cpp b/libraries/AP_HAL/utility/print_vprintf.cpp
index b12110435d..df7b310536 100644
--- a/libraries/AP_HAL/utility/print_vprintf.cpp
+++ b/libraries/AP_HAL/utility/print_vprintf.cpp
@@ -66,6 +66,11 @@
 #define FL_FLTEXP   FL_PREC
 #define FL_FLTFIX   FL_LONG
 
+#if CONFIG_HAL_BOARD == HAL_BOARD_CHIBIOS
+// get __FPU_PRESENT
+#include <hal.h>
+#endif
+
 void print_vprintf(AP_HAL::BetterStream *s, const char *fmt, va_list ap)
 {
         unsigned char c;        /* holds a char from the format string */