diff --git a/nuttx-configs/px4nucleoF767ZI-v1/nsh/defconfig b/nuttx-configs/px4nucleoF767ZI-v1/nsh/defconfig
index 3528e94e42..5e4d403798 100644
--- a/nuttx-configs/px4nucleoF767ZI-v1/nsh/defconfig
+++ b/nuttx-configs/px4nucleoF767ZI-v1/nsh/defconfig
@@ -444,7 +444,7 @@ CONFIG_ARCH_HAVE_MPU=y
 # CONFIG_ARCH_NAND_HWECC is not set
 # CONFIG_ARCH_HAVE_EXTCLK is not set
 # CONFIG_ARCH_HAVE_POWEROFF is not set
-# CONFIG_ARCH_HAVE_RESET is not set
+CONFIG_ARCH_HAVE_RESET=y
 # CONFIG_ARCH_USE_MPU is not set
 CONFIG_ARCH_IRQPRIO=y
 CONFIG_ARCH_STACKDUMP=y
@@ -512,6 +512,7 @@ CONFIG_NUCLEO_CONSOLE_MORPHO=y
 CONFIG_BOARD_CRASHDUMP=y
 CONFIG_BOARD_RESET_ON_CRASH=y
 CONFIG_LIB_BOARDCTL=y
+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/px4nucleoF767ZI-v1/CMakeLists.txt b/src/drivers/boards/px4nucleoF767ZI-v1/CMakeLists.txt
index 318ec009a7..527e06a2fe 100644
--- a/src/drivers/boards/px4nucleoF767ZI-v1/CMakeLists.txt
+++ b/src/drivers/boards/px4nucleoF767ZI-v1/CMakeLists.txt
@@ -35,6 +35,7 @@ px4_add_module(
 	COMPILE_FLAGS
 		-Os
 	SRCS
+		../common/stm32/board_reset.c
 		../common/board_crashdump.c
 		../common/board_dma_alloc.c
 #		WIP px4nucleo_can.c