1# SPDX-License-Identifier: GPL-2.0 2menu "Kernel hacking" 3 4source "lib/Kconfig.debug" 5 6config TRACE_IRQFLAGS_SUPPORT 7 def_bool y 8 9endmenu 10