summaryrefslogtreecommitdiffstatshomepage
diff options
context:
space:
mode:
-rw-r--r--stmhal/boards/NUCLEO_F767ZI/mpconfigboard.mk1
-rw-r--r--stmhal/boards/STM32F769DISC/mpconfigboard.mk1
2 files changed, 2 insertions, 0 deletions
diff --git a/stmhal/boards/NUCLEO_F767ZI/mpconfigboard.mk b/stmhal/boards/NUCLEO_F767ZI/mpconfigboard.mk
index f704f4ee9a..b685a6fe07 100644
--- a/stmhal/boards/NUCLEO_F767ZI/mpconfigboard.mk
+++ b/stmhal/boards/NUCLEO_F767ZI/mpconfigboard.mk
@@ -1,4 +1,5 @@
MCU_SERIES = f7
CMSIS_MCU = STM32F767xx
+FLOAT_IMPL = double
AF_FILE = boards/stm32f767_af.csv
LD_FILE = boards/stm32f767.ld
diff --git a/stmhal/boards/STM32F769DISC/mpconfigboard.mk b/stmhal/boards/STM32F769DISC/mpconfigboard.mk
index b65a18afb2..c25c0b79e5 100644
--- a/stmhal/boards/STM32F769DISC/mpconfigboard.mk
+++ b/stmhal/boards/STM32F769DISC/mpconfigboard.mk
@@ -1,4 +1,5 @@
MCU_SERIES = f7
CMSIS_MCU = STM32F769xx
+FLOAT_IMPL = double
AF_FILE = boards/stm32f767_af.csv
LD_FILE = boards/stm32f769.ld