summaryrefslogtreecommitdiff
path: root/Config.in
diff options
context:
space:
mode:
authorWaldemar Brodkorb <wbx@openadk.org>2013-10-17 16:25:40 (GMT)
committerWaldemar Brodkorb <wbx@openadk.org>2013-10-17 16:25:40 (GMT)
commitf7ae07959a3de464468de2a07ce9970fedf13931 (patch)
tree126c478db127503450bfda17553ca7cc146e1968 /Config.in
parent841e3f28aa545cbfa02a372e5c9c440834ecdbac (diff)
refresh raspberry pi config, enable tickless system, update to latest stable kernel
Diffstat (limited to 'Config.in')
-rw-r--r--Config.in5
1 files changed, 5 insertions, 0 deletions
diff --git a/Config.in b/Config.in
index dcfbd9f..e2f4012 100644
--- a/Config.in
+++ b/Config.in
@@ -106,6 +106,10 @@ depends on !ADK_TOOLCHAIN_ONLY && !ADK_CHOOSE_TARGET_ARCH && !ADK_CHOOSE_TARGET_
choice
prompt "Kernel Version"
+config ADK_KERNEL_VERSION_3_11_5
+ prompt "3.11.5"
+ boolean
+
config ADK_KERNEL_VERSION_3_9_11
prompt "3.9.11"
boolean
@@ -118,6 +122,7 @@ endchoice
config ADK_KERNEL_VERSION
string
+ default "3.11.5" if ADK_KERNEL_VERSION_3_11_5
default "3.9.11" if ADK_KERNEL_VERSION_3_9_11
default "3.4.60" if ADK_KERNEL_VERSION_3_4_60
help