1 # SPDX-License-Identifier: GPL-2.0
4 config TRACE_IRQFLAGS_SUPPORT
8 source "lib/Kconfig.debug"
11 string "Default kernel command string"
14 On some platforms, there is currently no way for the boot loader to
15 pass arguments to the kernel. For these platforms, you can supply
16 some command-line options at build time by entering them here. In
17 other cases you can specify kernel args so that you don't have
18 to set them up in board prom initialization routines.
21 bool "Enable run-time debugging"
22 depends on DEBUG_KERNEL
24 If you say Y here, some debugging macros will do run-time checking.
25 If you say N here, those macros will mostly turn to no-ops. See
26 include/asm-score/debug.h for debugging macros.