1.1 --- a/config/kernel_linux.in Sat Feb 24 11:00:05 2007 +0000
1.2 +++ b/config/kernel_linux.in Wed Apr 11 21:26:03 2007 +0000
1.3 @@ -28,18 +28,25 @@
1.4 You do NOT want this. It's badly broken because it leaks kernel internals
1.5 to userspace.
1.6
1.7 +config KERNEL_LINUX_HEADERS_USE_CUSTOM_DIR
1.8 + bool
1.9 + prompt "Use custom directory"
1.10 + help
1.11 + If you have some kernel headers lying around, you can enter the path
1.12 + below.
1.13 +
1.14 endchoice
1.15
1.16 config KERNEL
1.17 string
1.18 - default "linux" if KERNEL_LINUX_HEADERS_INSTALL || KERNEL_LINUX_HEADERS_COPY
1.19 + default "linux" if ! KERNEL_LINUX_HEADERS_SANITISED
1.20 default "linux-libc-headers" if KERNEL_LINUX_HEADERS_SANITISED
1.21
1.22 config KERNEL_VERSION_SEE_EXTRAVERSION
1.23 bool
1.24 prompt "See extra versions"
1.25 default n
1.26 - depends on ! KERNEL_LINUX_HEADERS_SANITISED
1.27 + depends on KERNEL_LINUX_HEADERS_COPY || KERNEL_LINUX_HEADERS_INSTALL
1.28 help
1.29 See extra versions (kernel with 4 numbers, eg 2.6.19.1).
1.30
1.31 @@ -61,6 +68,19 @@
1.32 source config/kernel_linux_headers_sanitised.in
1.33 endif
1.34
1.35 +config KERNEL_LINUX_HEADERS_CUSTOM_DIR
1.36 + string
1.37 + prompt "Where are those custom headers?"
1.38 + depends on KERNEL_LINUX_HEADERS_USE_CUSTOM_DIR
1.39 + help
1.40 + Enter the base directory where the headers are to be found.
1.41 +
1.42 + Eg. if the headers are in /some/place/include, then enter /some/place.
1.43 + This is the same path you entered when you typed:
1.44 + make INSTALL_HDR_PATH=/some/place headers_install
1.45 +
1.46 +if ! KERNEL_LINUX_HEADERS_USE_CUSTOM_DIR
1.47 +
1.48 choice
1.49 bool
1.50 prompt "Kernel verbosity:"
1.51 @@ -100,3 +120,5 @@
1.52 Path to the kernel configuration file.
1.53
1.54 You _must_ provide one (for now).
1.55 +
1.56 +endif