diff options
| author | Gustavo Zacarias <gustavo@zacarias.com.ar> | 2014-01-20 11:44:02 -0300 |
|---|---|---|
| committer | Peter Korsgaard <peter@korsgaard.com> | 2014-01-20 22:20:11 +0100 |
| commit | 2b830e7af98ec38baad11ebd5e5588fe08276f47 (patch) | |
| tree | 2efeb29f54b292fddfec8b7a26645b9ac0384b2a | |
| parent | 1d6b418081015ead1eecb2841a1596f0e33dfaa0 (diff) | |
| download | buildroot-2b830e7af98ec38baad11ebd5e5588fe08276f47.tar.gz buildroot-2b830e7af98ec38baad11ebd5e5588fe08276f47.zip | |
linux-headers: add 3.13.x series
Signed-off-by: Gustavo Zacarias <gustavo@zacarias.com.ar>
Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
| -rw-r--r-- | package/linux-headers/Config.in.host | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/package/linux-headers/Config.in.host b/package/linux-headers/Config.in.host index 2285c4d1a5..0e4143c2f1 100644 --- a/package/linux-headers/Config.in.host +++ b/package/linux-headers/Config.in.host @@ -5,7 +5,7 @@ comment "Kernel Header Options" choice prompt "Kernel Headers" - default BR2_KERNEL_HEADERS_3_12 + default BR2_KERNEL_HEADERS_3_13 help Select the version of kernel header files you wish to use. You must select the correct set of header files to match @@ -63,6 +63,9 @@ choice config BR2_KERNEL_HEADERS_3_12 bool "Linux 3.12.x kernel headers" + config BR2_KERNEL_HEADERS_3_13 + bool "Linux 3.13.x kernel headers" + config BR2_KERNEL_HEADERS_VERSION bool "Manually specified Linux version" @@ -92,5 +95,6 @@ config BR2_DEFAULT_KERNEL_HEADERS default "3.10.27" if BR2_KERNEL_HEADERS_3_10 default "3.11.10" if BR2_KERNEL_HEADERS_3_11 default "3.12.8" if BR2_KERNEL_HEADERS_3_12 + default "3.13" if BR2_KERNEL_HEADERS_3_13 default "2.6" if BR2_KERNEL_HEADERS_SNAP default BR2_DEFAULT_KERNEL_VERSION if BR2_KERNEL_HEADERS_VERSION |
