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
100 	bool "Enable compressed kernel support debugging"
104 	  If you want to add compressed kernel support to a new board, and the
114 	  After the compressed kernel support works, please disable this option
115 	  to reduce the kernel image size and speed up the booting procedure a