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