Merge branch 'feature/floating_point_SF6' into test/SF6_fp_irq

loopback · loopback · commit 5e9b92167dd5 · 2024-01-31T12:59:03.000-06:00
diff --git a/ports/stm32/boards/PYBD_SF6/mpconfigboard.h b/ports/stm32/boards/PYBD_SF6/mpconfigboard.h
@@ -27,6 +27,14 @@
 // Take PYBD_SF2 as base configuration
 #include "boards/PYBD_SF2/mpconfigboard.h"
 
+// Change floating-point representation to native type to allow for use in
+// interrupts
+#define MICROPY_OBJ_REPR            (MICROPY_OBJ_REPR_C)
+#define UINT_FMT "%u"
+#define INT_FMT "%d"
+typedef int mp_int_t; // must be pointer size
+typedef unsigned int mp_uint_t; // must be pointer size
+
 #undef MICROPY_HW_BOARD_NAME
 #undef MICROPY_HW_MCU_NAME
 #undef MICROPY_HW_CLK_PLLM
diff --git a/ports/stm32/boards/PYBD_SF6/mpconfigboard.mk b/ports/stm32/boards/PYBD_SF6/mpconfigboard.mk
@@ -1,7 +1,7 @@
 # MCU settings
 MCU_SERIES = f7
 CMSIS_MCU = STM32F767xx
-MICROPY_FLOAT_IMPL = double
+MICROPY_FLOAT_IMPL = single
 AF_FILE = boards/stm32f767_af.csv
 LD_FILES = boards/PYBD_SF6/f767.ld
 TEXT0_ADDR = 0x08008000
