# SPDX-License-Identifier: MIT
# depends on RT_MUTEXES
CONFIG_RT_MUTEXES=y
CONFIG_DEBUG_RT_MUTEXES=y