include cfg/debug/common/debug-kernelhacking.scc
kconf non-hardware debug-sched.cfg