Lines Matching refs:kernel
8 This option enables special console drivers which allow the kernel
11 This is useful for kernel debugging when your machine crashes very
30 bool "Built-in kernel command line"
33 by default specifies the kernel command line options. However,
35 default kernel command line or add a few extra options to it.
37 command line options directly into the kernel. For that, you
49 string "Default kernel command string"
53 pass arguments to the kernel. For these platforms, and for the cases
57 kernel args so that you don't have to set them up in board prom
67 By setting this option to 'Y' you will have your kernel ignore
83 bool "Enable compressed kernel support debugging"
87 If you want to add compressed kernel support to a new board, and the
97 After the compressed kernel support works, please disable this option
98 to reduce the kernel image size and speed up the booting procedure a
102 int "UART to use for compressed kernel debugging"
107 Specify the UART that should be used for compressed kernel debugging.