From f7ae07959a3de464468de2a07ce9970fedf13931 Mon Sep 17 00:00:00 2001
From: Waldemar Brodkorb <wbx@openadk.org>
Date: Thu, 17 Oct 2013 18:25:40 +0200
Subject: refresh raspberry pi config, enable tickless system, update to latest
 stable kernel

---
 Config.in | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'Config.in')

diff --git a/Config.in b/Config.in
index dcfbd9f03..e2f4012cf 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
-- 
cgit v1.2.3