diff --git a/boards/mro/ctrl-zero-f7-oem/nuttx-config/nsh/defconfig b/boards/mro/ctrl-zero-f7-oem/nuttx-config/nsh/defconfig
index 2cc405eb3f..74927ddf3b 100644
--- a/boards/mro/ctrl-zero-f7-oem/nuttx-config/nsh/defconfig
+++ b/boards/mro/ctrl-zero-f7-oem/nuttx-config/nsh/defconfig
@@ -35,6 +35,7 @@ CONFIG_ARMV7M_BASEPRI_WAR=y
 CONFIG_ARMV7M_DCACHE=y
 CONFIG_ARMV7M_DTCM=y
 CONFIG_ARMV7M_ICACHE=y
+CONFIG_ARMV7M_LAZYFPU=y
 CONFIG_ARMV7M_MEMCPY=y
 CONFIG_ARMV7M_USEBASEPRI=y
 CONFIG_BOARDCTL_RESET=y