# SPDX-License-Identifier: MIT
if [ "$KARCH" = "x86_64" ] || [ "$KARCH" = "i386" ]; then
# include must be at the head of the line
include cfg/debug/lock/debug-rt-mutex.scc
include cfg/debug/lock/debug-spinlock.scc
include cfg/debug/lock/debug-mutexes.scc
include cfg/debug/lock/debug-lock-common.scc
    kconf non-hardware debug-wwmutex-slowpath.cfg
fi