|
|
@@ -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
|
Gustavo Zacarias