diff --git a/nuttx-configs/px4fmu-v4pro/nsh/defconfig b/nuttx-configs/px4fmu-v4pro/nsh/defconfig
index 5703b4cb47..a1f1628c96 100644
--- a/nuttx-configs/px4fmu-v4pro/nsh/defconfig
+++ b/nuttx-configs/px4fmu-v4pro/nsh/defconfig
@@ -654,7 +654,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
diff --git a/src/drivers/boards/px4fmu-v4pro/CMakeLists.txt b/src/drivers/boards/px4fmu-v4pro/CMakeLists.txt
index 67cb15cf0e..997ece5b35 100644
--- a/src/drivers/boards/px4fmu-v4pro/CMakeLists.txt
+++ b/src/drivers/boards/px4fmu-v4pro/CMakeLists.txt
@@ -34,6 +34,7 @@ px4_add_module(
 	MODULE drivers__boards__px4fmu-v4pro
 	COMPILE_FLAGS
 	SRCS
+		../common/stm32/board_reset.c
 		../common/board_crashdump.c
 		../common/board_dma_alloc.c
 		px4fmu_can.c