blob: fb3507f9b14a6ab0eba94494189c0e4e92ab3e81 [file] [log] [blame]
# SPDX-License-Identifier: GPL-2.0
menu "Kernel hacking"
source "lib/Kconfig.debug"
config TRACE_IRQFLAGS_SUPPORT
def_bool y
endmenu