diff --git a/boards/px4/fmu-v5/nuttx-config/debug/defconfig b/boards/px4/fmu-v5/nuttx-config/debug/defconfig
index 0e27604d84..8b6e3e8fa7 100644
--- a/boards/px4/fmu-v5/nuttx-config/debug/defconfig
+++ b/boards/px4/fmu-v5/nuttx-config/debug/defconfig
@@ -30,7 +30,7 @@ CONFIG_ARCH_BOARD_CUSTOM_NAME="px4"
 CONFIG_ARCH_CHIP="stm32f7"
 CONFIG_ARCH_CHIP_STM32F765II=y
 CONFIG_ARCH_CHIP_STM32F7=y
-CONFIG_ARCH_INTERRUPTSTACK=768
+CONFIG_ARCH_INTERRUPTSTACK=1024
 CONFIG_ARCH_STACKDUMP=y
 CONFIG_ARMV7M_BASEPRI_WAR=y
 CONFIG_ARMV7M_DCACHE=y
diff --git a/boards/px4/fmu-v5/nuttx-config/stackcheck/defconfig b/boards/px4/fmu-v5/nuttx-config/stackcheck/defconfig
index 675f11f344..77909da6ef 100644
--- a/boards/px4/fmu-v5/nuttx-config/stackcheck/defconfig
+++ b/boards/px4/fmu-v5/nuttx-config/stackcheck/defconfig
@@ -29,7 +29,7 @@ CONFIG_ARCH_BOARD_CUSTOM_NAME="px4"
 CONFIG_ARCH_CHIP="stm32f7"
 CONFIG_ARCH_CHIP_STM32F765II=y
 CONFIG_ARCH_CHIP_STM32F7=y
-CONFIG_ARCH_INTERRUPTSTACK=512
+CONFIG_ARCH_INTERRUPTSTACK=1024
 CONFIG_ARCH_STACKDUMP=y
 CONFIG_ARMV7M_BASEPRI_WAR=y
 CONFIG_ARMV7M_DCACHE=y