1 2 3 4
# SPDX-License-Identifier: MIT # depends on RT_MUTEXES CONFIG_RT_MUTEXES=y CONFIG_DEBUG_RT_MUTEXES=y