xref: /linux/arch/nios2/Kconfig.debug (revision 9359a8cbcc77d4afb07444f341e39015d232bd55)
1# SPDX-License-Identifier: GPL-2.0
2
3config TRACE_IRQFLAGS_SUPPORT
4	def_bool y
5
6config EARLY_PRINTK
7	bool "Activate early kernel debugging"
8	default y
9	select SERIAL_CORE_CONSOLE
10	help
11	  Enable early printk on console
12	  This is useful for kernel debugging when your machine crashes very
13	  early before the console code is initialized.
14	  You should normally say N here, unless you want to debug such a crash.
15