18c2ecf20Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0
28c2ecf20Sopenharmony_ci
38c2ecf20Sopenharmony_ciconfig TRACE_IRQFLAGS_SUPPORT
48c2ecf20Sopenharmony_ci	def_bool y
58c2ecf20Sopenharmony_ci
68c2ecf20Sopenharmony_ciconfig EARLY_PRINTK
78c2ecf20Sopenharmony_ci	def_bool y
8