1# SPDX-License-Identifier: GPL-2.0
2
3config TRACE_IRQFLAGS_SUPPORT
4 def_bool y
5
6config EARLY_PRINTK
7 def_bool y
8
9config DEBUG_USER_ASCE
10 bool "Debug User ASCE"
11 help
12 Check on exit to user space that address space control
13 elements are setup correctly.
14
15 If unsure, say N.
16