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.
1415 If unsure, say N.
tjh.dev