source "arch/riscv/kernel/tests/Kconfig.debug"