Lines Matching refs:kernel
14 This option enables special console drivers which allow the kernel
17 This is useful for kernel debugging when your machine crashes very
36 bool "Built-in kernel command line"
40 by default specifies the kernel command line options. However,
42 default kernel command line or add a few extra options to it.
44 command line options directly into the kernel. For that, you
56 string "Default kernel command string"
61 pass arguments to the kernel. For these platforms, and for the cases
65 kernel args so that you don't have to set them up in board prom
76 By setting this option to 'Y' you will have your kernel ignore
91 bool "Enable compressed kernel support debugging"
95 If you want to add compressed kernel support to a new board, and the
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