# SPDX-License-Identifier: MIT
include cfg/debug/common/debug-kernelhacking.scc
kconf non-hardware debug-rt-mutex.cfg