# SPDX-License-Identifier: MIT
include cfg/debug/common/debug-kernelhacking.scc

if [ "$KARCH" = "x86_64" ] || [ "$KARCH" = "i386" ]; then
    kconf non-hardware debug-nmi-selftest.cfg
fi