|
# 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.
|