config/kernel/linux.in
author "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Wed Sep 10 21:40:23 2008 +0000 (2008-09-10)
changeset 847 af75fc1fe0fc
parent 448 08da017ba46b
child 856 8d23dc29eb7d
permissions -rw-r--r--
Remove the now really obsolete Linux kernel headers copy and sanitised.
Remove orphanned Linux kernel patchsets.
Initiate a kernel build scripts directory. Move the Linux kernel build script there.

/trunk/scripts/build/kernel/linux.sh | 146 11 135 0 +++---------------------------------------
/trunk/scripts/crosstool.sh | 2 1 1 0
/trunk/steps.mk | 1 0 1 0 -
/trunk/config/kernel/linux.in | 49 0 49 0 --------------
/trunk/config/kernel.in | 4 4 0 0 +
5 files changed, 16 insertions(+), 186 deletions(-)
     1 # Linux kernel options
     2 
     3 choice
     4     bool
     5     prompt "Get kernel headers from:"
     6 
     7 config KERNEL_LINUX_HEADERS_INSTALL
     8     bool
     9     prompt "kernel's 'headers_install'"
    10     help
    11       This will make use of the new headers_install rule in recent kernels.
    12       This is most probably what you want to use.
    13 
    14 config KERNEL_LINUX_HEADERS_USE_CUSTOM_DIR
    15     bool
    16     prompt "Use custom directory"
    17     help
    18       If you have some kernel headers lying around, you can enter the path
    19       below.
    20 
    21 endchoice
    22 
    23 config KERNEL_VERSION_SEE_EXTRAVERSION
    24     bool
    25     prompt "See extra versions"
    26     default n
    27     depends on KERNEL_LINUX_HEADERS_COPY || KERNEL_LINUX_HEADERS_INSTALL
    28     help
    29       See extra versions (kernel with 4 numbers, eg 2.6.19.1).
    30 
    31       If you say 'no', you'll only see sub-level, 3-digit versions.
    32       If you say 'yes', you'll see far more versions!
    33 
    34       It is recommended that you say 'no', unless you _*know*_
    35       that an extra version fixes a headers bug.
    36 
    37 if KERNEL_LINUX_HEADERS_INSTALL
    38 source config/kernel/linux_headers_install.in
    39 endif
    40 
    41 config KERNEL_LINUX_HEADERS_CUSTOM_DIR
    42     string
    43     prompt "Where are those custom headers?"
    44     depends on KERNEL_LINUX_HEADERS_USE_CUSTOM_DIR
    45     help
    46       Enter the base directory where the headers are to be found.
    47       
    48       Eg. if the headers are in /some/place/include, then enter /some/place.
    49           This is the same path you entered when you typed:
    50             make INSTALL_HDR_PATH=/some/place headers_install
    51 
    52 if ! KERNEL_LINUX_HEADERS_USE_CUSTOM_DIR
    53 
    54 choice
    55     bool
    56     prompt "Kernel verbosity:"
    57     default KERNEL_LINUX_VERBOSITY_0
    58 
    59 config KERNEL_LINUX_VERBOSITY_0
    60     bool
    61     prompt "Simplified"
    62     help
    63       Print simplified command lines.
    64 
    65 config KERNEL_LINUX_VERBOSITY_1
    66     bool
    67     prompt "Full commands"
    68     help
    69       Print full command lines.
    70 
    71 config KERNEL_LINUX_VERBOSITY_2
    72     bool
    73     prompt "Exec reasons"
    74     help
    75       Print the reasons why a make target is rebuild.
    76 
    77 endchoice
    78 
    79 config KERNEL_LINUX_VERBOSE_LEVEL
    80     int
    81     default 0 if KERNEL_LINUX_VERBOSITY_0
    82     default 1 if KERNEL_LINUX_VERBOSITY_1
    83     default 2 if KERNEL_LINUX_VERBOSITY_2
    84 
    85 endif