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