[PATCH] Allow user to specify Linux kernel version

[ANDY KENNEDY]

Ping.

> -----Original Message-----
> From: ANDY KENNEDY
> Sent: Tuesday, June 30, 2015 4:35 PM
> To: 'crossgcc@sourceware.org'
> Subject: [PATCH] Allow user to specify Linux kernel version
> 
> Allow user to specify the Linux kernel through a manual
> string entry.
> 
> Signed-off-by:  Andy Kennedy <andy.kennedy@adtran.com>
> ---
> diff -Naur a/config/kernel/linux.in b/config/kernel/linux.in
> --- a/config/kernel/linux.in	2015-06-30 16:25:14.183781577 -0500
> +++ b/config/kernel/linux.in	2015-06-29 17:46:45.621904211 -0500
> @@ -63,6 +63,20 @@
>      prompt "2.6.32.67"
>      help
> 
> +config KERNEL_MANUAL
> +    bool
> +    prompt "Manually provide the kernel version."
> +    help
> +      Specify the exact kernel version you wish to use.
> +
> +config KERNEL_MANUAL_VER
> +    string
> +    prompt "Enter the kernel version"
> +    depends on KERNEL_MANUAL
> +    help
> +      The version should be entered as 2.6.33 or 2.6.36.2 etc.  Do not provide
> +      linux- before or .tar.bz2 after.
> +
>  config KERNEL_LINUX_CUSTOM
>      bool
>      prompt "custom tarball or directory"
> @@ -92,6 +106,7 @@
>      default "3.4.108" if KERNEL_V_3_4
>      default "3.2.69" if KERNEL_V_3_2
>      default "2.6.32.67" if KERNEL_V_2_6_32
> +    default KERNEL_MANUAL_VER if KERNEL_MANUAL
>      default "custom" if KERNEL_LINUX_CUSTOM
> 
>  endif # ! KERNEL_LINUX_USE_CUSTOM_HEADERS

--
For unsubscribe information see http://sourceware.org/lists.html#faq