1 files changed, 5 insertions, 0 deletions

diff --git a/Config.in b/Config.in
index 268ea3558..d0d151222 100644
--- a/Config.in
+++ b/Config.in
@@ -110,6 +110,10 @@ depends on !ADK_TOOLCHAIN_ONLY && !ADK_CHOOSE_TARGET_ARCH && !ADK_CHOOSE_TARGET_
 
 choice
 prompt "Kernel Version"
+config ADK_KERNEL_VERSION_3_12_6
+	prompt "3.12.6"
+	boolean
+
 config ADK_KERNEL_VERSION_3_11_10
 	prompt "3.11.10"
 	boolean
@@ -122,6 +126,7 @@ endchoice
 
 config ADK_KERNEL_VERSION
 	string
+	default "3.12.6" if ADK_KERNEL_VERSION_3_12_6
 	default "3.11.10" if ADK_KERNEL_VERSION_3_11_10
 	default "3.4.71" if ADK_KERNEL_VERSION_3_4_71
 	help