# SPDX-License-Identifier: GPL-2.0

config TRACE_IRQFLAGS_SUPPORT
	def_bool y

config EARLY_PRINTK
	def_bool y

config DEBUG_USER_ASCE
	bool "Debug User ASCE"
	help
	  Check on exit to user space that address space control
	  elements are setup correctly.

	  If unsure, say N.