diff options
| author | Waldemar Brodkorb <wbx@openadk.org> | 2013-10-17 18:25:40 +0200 |
|---|---|---|
| committer | Waldemar Brodkorb <wbx@openadk.org> | 2013-10-17 18:25:40 +0200 |
| commit | f7ae07959a3de464468de2a07ce9970fedf13931 (patch) | |
| tree | 126c478db127503450bfda17553ca7cc146e1968 /Config.in | |
| parent | 841e3f28aa545cbfa02a372e5c9c440834ecdbac (diff) | |
refresh raspberry pi config, enable tickless system, update to latest stable kernel
Diffstat (limited to 'Config.in')
| -rw-r--r-- | Config.in | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -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 |