# 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-lock-common.scc
    kconf non-hardware debug-lockdep.cfg
fi