From df42ef84f1166afe9ff281f312a9701930a3ec35 Mon Sep 17 00:00:00 2001
From: Kimminkyu <88468818+MDEAGEWT@users.noreply.github.com>
Date: Fri, 16 Jan 2026 05:40:09 +0900
Subject: [PATCH] Update NuttX fmu-v6x config use with Zenoh (#26213)

---
 boards/px4/fmu-v6x/nuttx-config/nsh/defconfig | 1 +
 1 file changed, 1 insertion(+)

diff --git a/boards/px4/fmu-v6x/nuttx-config/nsh/defconfig b/boards/px4/fmu-v6x/nuttx-config/nsh/defconfig
index ec6b1c7e2b..a99d28ebaa 100644
--- a/boards/px4/fmu-v6x/nuttx-config/nsh/defconfig
+++ b/boards/px4/fmu-v6x/nuttx-config/nsh/defconfig
@@ -189,6 +189,7 @@ CONFIG_PIPES=y
 CONFIG_PREALLOC_TIMERS=50
 CONFIG_PRIORITY_INHERITANCE=y
 CONFIG_PTHREAD_MUTEX_ROBUST=y
+CONFIG_PTHREAD_MUTEX_TYPES=y
 CONFIG_PTHREAD_STACK_MIN=512
 CONFIG_RAMTRON_EMULATE_PAGE_SHIFT=5
 CONFIG_RAMTRON_EMULATE_SECTOR_SHIFT=5