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