# Linux kernel options choice bool prompt "Get kernel headers from:" config KERNEL_LINUX_HEADERS_INSTALL bool prompt "kernel's 'headers_install'" help This will make use of the new headers_install rule in recent kernels. This is most probably what you want to use. config KERNEL_LINUX_HEADERS_USE_CUSTOM_DIR bool prompt "Use custom directory" help If you have some kernel headers lying around, you can enter the path below. endchoice config KERNEL_VERSION_SEE_EXTRAVERSION bool prompt "See extra versions" default n depends on KERNEL_LINUX_HEADERS_COPY || KERNEL_LINUX_HEADERS_INSTALL help See extra versions (kernel with 4 numbers, eg 2.6.19.1). If you say 'no', you'll only see sub-level, 3-digit versions. If you say 'yes', you'll see far more versions! It is recommended that you say 'no', unless you _*know*_ that an extra version fixes a headers bug. if KERNEL_LINUX_HEADERS_INSTALL source config/kernel/linux_headers_install.in endif config KERNEL_LINUX_HEADERS_CUSTOM_DIR string prompt "Where are those custom headers?" depends on KERNEL_LINUX_HEADERS_USE_CUSTOM_DIR help Enter the base directory where the headers are to be found. Eg. if the headers are in /some/place/include, then enter /some/place. This is the same path you entered when you typed: make INSTALL_HDR_PATH=/some/place headers_install if ! KERNEL_LINUX_HEADERS_USE_CUSTOM_DIR choice bool prompt "Kernel verbosity:" default KERNEL_LINUX_VERBOSITY_0 config KERNEL_LINUX_VERBOSITY_0 bool prompt "Simplified" help Print simplified command lines. config KERNEL_LINUX_VERBOSITY_1 bool prompt "Full commands" help Print full command lines. config KERNEL_LINUX_VERBOSITY_2 bool prompt "Exec reasons" help Print the reasons why a make target is rebuild. endchoice config KERNEL_LINUX_VERBOSE_LEVEL int default 0 if KERNEL_LINUX_VERBOSITY_0 default 1 if KERNEL_LINUX_VERBOSITY_1 default 2 if KERNEL_LINUX_VERBOSITY_2 endif