# 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_SANITISED

    bool

    prompt "Mazur's sanitized headers (OBSOLETE)"

    depends on OBSOLETE

    select KERNEL_LINUX_NEEDS_CONFIG

    help

      M. Mazur used to maintain a tree of sanitised headers, but it is now

      obsoleted by the headers_install rule (above), and has not seen any

      update since 2.6.12

config KERNEL_LINUX_HEADERS_COPY

    bool

    prompt "pure kernel headers (REALLY OBSOLETE)"

    depends on OBSOLETE

    select KERNEL_LINUX_NEEDS_CONFIG

    help

      This will simply copy the kernel headers to the toolchain.

      You do NOT want this. It's badly broken because it leaks kernel internals

      to userspace.

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

    string

    default "linux" if ! KERNEL_LINUX_HEADERS_SANITISED

    default "linux-libc-headers" if KERNEL_LINUX_HEADERS_SANITISED

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

if KERNEL_LINUX_HEADERS_COPY

source config/kernel/linux_headers_copy.in

endif

if KERNEL_LINUX_HEADERS_SANITISED

source config/kernel/linux_headers_sanitised.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

config KERNEL_LINUX_NEEDS_CONFIG

    bool

    default n

config KERNEL_LINUX_CONFIG_FILE

    string

    prompt "Configuration file"

    depends on KERNEL_LINUX_NEEDS_CONFIG

    default ""

    help

      Path to a kernel configuration file.

      If you don't provide one, then the default configuration for

      your target will be used.

endif