diff --git a/nuttx-configs/px4fmu-v4/nsh/defconfig b/nuttx-configs/px4fmu-v4/nsh/defconfig
index 874d358de8..349056b55b 100644
--- a/nuttx-configs/px4fmu-v4/nsh/defconfig
+++ b/nuttx-configs/px4fmu-v4/nsh/defconfig
@@ -643,7 +643,7 @@ CONFIG_NSH_MMCSDSLOTNO=0
 # Board-Specific Options
 #
 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
diff --git a/src/drivers/boards/px4fmu-v4/CMakeLists.txt b/src/drivers/boards/px4fmu-v4/CMakeLists.txt
index baad9a6b6e..cdf547f16c 100644
--- a/src/drivers/boards/px4fmu-v4/CMakeLists.txt
+++ b/src/drivers/boards/px4fmu-v4/CMakeLists.txt
@@ -34,6 +34,7 @@ px4_add_module(
 	MODULE drivers__boards__px4fmu-v4
 	COMPILE_FLAGS
 	SRCS
+		../common/stm32/board_reset.c
 		../common/board_crashdump.c
 		../common/board_dma_alloc.c
 		px4fmu_can.c