xref: /linux/arch/nios2/Kconfig.debug (revision 7adb3e998f5bea3e1fd2f76c1cf80d76b8af6626)
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