diff --git a/boards/px4/fmu-v5/nuttx-config/irqmonitor/defconfig b/boards/px4/fmu-v5/nuttx-config/irqmonitor/defconfig
index ac81ffc7fa..8c0d25ee10 100644
--- a/boards/px4/fmu-v5/nuttx-config/irqmonitor/defconfig
+++ b/boards/px4/fmu-v5/nuttx-config/irqmonitor/defconfig
@@ -130,6 +130,7 @@ CONFIG_SCHED_HPWORK=y
 CONFIG_SCHED_HPWORKPRIORITY=249
 CONFIG_SCHED_HPWORKSTACKSIZE=1280
 CONFIG_SCHED_INSTRUMENTATION=y
+CONFIG_SCHED_INSTRUMENTATION_EXTERNAL=y
 CONFIG_SCHED_IRQMONITOR=y
 CONFIG_SCHED_LPWORK=y
 CONFIG_SCHED_LPWORKPRIORITY=50