3 config TRACE_IRQFLAGS_SUPPORT
7 source "lib/Kconfig.debug"
10 bool "Early printk" if EXPERT
11 depends on SYS_HAS_EARLY_PRINTK
14 This option enables special console drivers which allow the kernel
15 to print messages very early in the bootup process.
17 This is useful for kernel debugging when your machine crashes very
18 early before the console code is initialized. For normal operation,
19 it is not recommended because it looks ugly on some machines and
20 doesn't cooperate with an X server. You should normally say N here,
21 unless you want to debug such a crash.
23 config EARLY_PRINTK_8250
25 depends on EARLY_PRINTK && USE_GENERIC_EARLY_PRINTK_8250
28 "8250/16550 and compatible serial early printk driver"
29 If you say Y here, it will be possible to use a 8250/16550 serial
30 port as the boot console.
32 config USE_GENERIC_EARLY_PRINTK_8250
36 bool "Built-in kernel command line"
39 For most systems, it is firmware or second stage bootloader that
40 by default specifies the kernel command line options. However,
41 it might be necessary or advantageous to either override the
42 default kernel command line or add a few extra options to it.
43 For such cases, this option allows you to hardcode your own
44 command line options directly into the kernel. For that, you
45 should choose 'Y' here, and fill in the extra boot arguments
48 The built-in options will be concatenated to the default command
49 line if CMDLINE_OVERRIDE is set to 'N'. Otherwise, the default
50 command line will be ignored and replaced by the built-in string.
52 Most MIPS systems will normally expect 'N' here and rely upon
53 the command line from the firmware or the second-stage bootloader.
56 string "Default kernel command string"
57 depends on CMDLINE_BOOL
60 On some platforms, there is currently no way for the boot loader to
61 pass arguments to the kernel. For these platforms, and for the cases
62 when you want to add some extra options to the command line or ignore
63 the default command line, you can supply some command-line options at
64 build time by entering them here. In other cases you can specify
65 kernel args so that you don't have to set them up in board prom
66 initialization routines.
68 For more information, see the CMDLINE_BOOL and CMDLINE_OVERRIDE
71 config CMDLINE_OVERRIDE
72 bool "Built-in command line overrides firmware arguments"
74 depends on CMDLINE_BOOL
76 By setting this option to 'Y' you will have your kernel ignore
77 command line arguments from firmware or second stage bootloader.
78 Instead, the built-in command line will be used exclusively.
80 Normally, you will choose 'N' here.
83 bool "Corelis Debugger"
84 depends on SIBYTE_SB1xxx_SOC
87 Select compile flags that produce code that can be processed by the
88 Corelis mksym utility and UDB Emulator.
91 bool "Enable compressed kernel support debugging"
92 depends on DEBUG_KERNEL && SYS_SUPPORTS_ZBOOT
95 If you want to add compressed kernel support to a new board, and the
96 board supports uart16550 compatible serial port, please select
97 SYS_SUPPORTS_ZBOOT_UART16550 for your board and enable this option to
100 If your board doesn't support uart16550 compatible serial port, you
101 can try to select SYS_SUPPORTS_ZBOOT and use the other methods to
102 debug it. for example, add a new serial port support just as
103 arch/mips/boot/compressed/uart-16550.c does.
105 After the compressed kernel support works, please disable this option
106 to reduce the kernel image size and speed up the booting procedure a
110 bool "Enable spinlock timing tests in debugfs"
114 Add several files to the debugfs to test spinlock speed.