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