menu "Kernel hacking" source "lib/Kconfig.debug" config TRACE_IRQFLAGS_SUPPORT	def_bool y endmenu