diff --git a/nuttx-configs/aerofc-v1/nsh/defconfig b/nuttx-configs/aerofc-v1/nsh/defconfig
index 38b10fdcaa..222d11393d 100644
--- a/nuttx-configs/aerofc-v1/nsh/defconfig
+++ b/nuttx-configs/aerofc-v1/nsh/defconfig
@@ -634,7 +634,7 @@ CONFIG_ARCH_BOARD="aerofc-v1"
 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/aerofc-v1/CMakeLists.txt b/src/drivers/boards/aerofc-v1/CMakeLists.txt
index 409c5b1e72..96ec59dd03 100644
--- a/src/drivers/boards/aerofc-v1/CMakeLists.txt
+++ b/src/drivers/boards/aerofc-v1/CMakeLists.txt
@@ -35,6 +35,7 @@ px4_add_module(
 	MODULE drivers__boards__aerofc-v1
 	COMPILE_FLAGS
 	SRCS
+		../common/stm32/board_reset.c
 		aerofc_init.c
 		aerofc_spi.c
 		aerofc_usb.c
diff --git a/src/drivers/boards/aerofc-v1/aerofc_init.c b/src/drivers/boards/aerofc-v1/aerofc_init.c
index 15deb23c19..7dbeef59e0 100644
--- a/src/drivers/boards/aerofc-v1/aerofc_init.c
+++ b/src/drivers/boards/aerofc-v1/aerofc_init.c
@@ -369,6 +369,6 @@ __EXPORT int board_app_initialize(uintptr_t arg)
 __EXPORT void board_crashdump(uintptr_t currentsp, FAR void *tcb, FAR const uint8_t *filename, int lineno)
 {
 #if defined(CONFIG_BOARD_RESET_ON_CRASH)
-	px4_systemreset(false);
+	board_reset(0);
 #endif
 }