Add an option for those having the kernel headers pre-installed from a customised local tree.
In that case, neither download, nor extract, nor patch.
5 prompt "Get kernel headers from:"
7 config KERNEL_LINUX_HEADERS_INSTALL
9 prompt "kernel's 'headers_install'"
11 This will make use of the new headers_install rule in recent kernels.
12 This is most probably what you want to use.
14 config KERNEL_LINUX_HEADERS_SANITISED
16 prompt "Mazur's sanitized headers (OBSOLETE)"
18 M. Mazur used to maintain a tree of sanitised headers, but it is now
19 obsoleted by the headers_install rule (above), and has not seen eny
22 config KERNEL_LINUX_HEADERS_COPY
24 prompt "pure kernel headers (NOT RECOMMENDED)"
26 This will simply copy the kernel headers to the toolchain.
28 You do NOT want this. It's badly broken because it leaks kernel internals
31 config KERNEL_LINUX_HEADERS_USE_CUSTOM_DIR
33 prompt "Use custom directory"
35 If you have some kernel headers lying around, you can enter the path
42 default "linux" if ! KERNEL_LINUX_HEADERS_SANITISED
43 default "linux-libc-headers" if KERNEL_LINUX_HEADERS_SANITISED
45 config KERNEL_VERSION_SEE_EXTRAVERSION
47 prompt "See extra versions"
49 depends on KERNEL_LINUX_HEADERS_COPY || KERNEL_LINUX_HEADERS_INSTALL
51 See extra versions (kernel with 4 numbers, eg 2.6.19.1).
53 If you say 'no', you'll only see sub-level, 3-digit versions.
54 If you say 'yes', you'll see far more versions!
56 It is recommended that you say 'no', unless you _*know*_
57 that an extra version fixes a headers bug.
59 if KERNEL_LINUX_HEADERS_INSTALL
60 source config/kernel_linux_headers_install.in
63 if KERNEL_LINUX_HEADERS_COPY
64 source config/kernel_linux_headers_copy.in
67 if KERNEL_LINUX_HEADERS_SANITISED
68 source config/kernel_linux_headers_sanitised.in
71 config KERNEL_LINUX_HEADERS_CUSTOM_DIR
73 prompt "Where are those custom headers?"
74 depends on KERNEL_LINUX_HEADERS_USE_CUSTOM_DIR
76 Enter the base directory where the headers are to be found.
78 Eg. if the headers are in /some/place/include, then enter /some/place.
79 This is the same path you entered when you typed:
80 make INSTALL_HDR_PATH=/some/place headers_install
82 if ! KERNEL_LINUX_HEADERS_USE_CUSTOM_DIR
86 prompt "Kernel verbosity:"
87 default KERNEL_LINUX_VERBOSITY_0
89 config KERNEL_LINUX_VERBOSITY_0
93 Print simplified command lines.
95 config KERNEL_LINUX_VERBOSITY_1
97 prompt "Full commands"
99 Print full command lines.
101 config KERNEL_LINUX_VERBOSITY_2
103 prompt "Exec reasons"
105 Print the reasons why a make target is rebuild.
109 config KERNEL_LINUX_VERBOSE_LEVEL
111 default 0 if KERNEL_LINUX_VERBOSITY_0
112 default 1 if KERNEL_LINUX_VERBOSITY_1
113 default 2 if KERNEL_LINUX_VERBOSITY_2
115 config KERNEL_LINUX_CONFIG_FILE
117 prompt "Configuration file"
120 Path to the kernel configuration file.
122 You _must_ provide one (for now).