diff --git a/nuttx-configs/px4fmu-v3/nsh/defconfig b/nuttx-configs/px4fmu-v3/nsh/defconfig
index 7df22d8813..247d70d8d3 100644
--- a/nuttx-configs/px4fmu-v3/nsh/defconfig
+++ b/nuttx-configs/px4fmu-v3/nsh/defconfig
@@ -650,7 +650,7 @@ CONFIG_BOARD_HAS_PROBES=y
 CONFIG_BOARD_CRASHDUMP=y
 CONFIG_BOARD_RESET_ON_CRASH=y
 CONFIG_LIB_BOARDCTL=y
-# CONFIG_BOARDCTL_RESET is not set
+CONFIG_BOARDCTL_RESET=y
 # CONFIG_BOARDCTL_UNIQUEID is not set
 CONFIG_BOARDCTL_USBDEVCTRL=y
 # CONFIG_BOARDCTL_TSCTEST is not set