arch/microblaze/Kconfig.debug - linux - Git at Google

 # SPDX-License-Identifier: GPL-2.0-only
 # For a description of the syntax of this configuration file,
 # see Documentation/kbuild/kconfig-language.txt.

 config TRACE_IRQFLAGS_SUPPORT
 	def_bool y
	# SPDX-License-Identifier: GPL-2.0-only
	# For a description of the syntax of this configuration file,
	# see Documentation/kbuild/kconfig-language.txt.

	config TRACE_IRQFLAGS_SUPPORT
	def_bool y