diff options
Diffstat (limited to 'kconfig/linux.kconfig')
-rw-r--r-- | kconfig/linux.kconfig | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/kconfig/linux.kconfig b/kconfig/linux.kconfig index 4ca0a2a..2fae8bb 100644 --- a/kconfig/linux.kconfig +++ b/kconfig/linux.kconfig @@ -1,6 +1,6 @@ ################################################################################# # Embtoolkit -# Copyright(C) 2009-2012 Abdoulaye Walsimou GAYE. +# Copyright(C) 2009-2013 Abdoulaye Walsimou GAYE. # # This program is free software: you can redistribute it and/or modify # it under the terms of the GNU General Public License as published by @@ -28,6 +28,10 @@ choice help Here you can choose which Linux kernel headers you want to use. + config EMBTK_LINUX_VERSION_3_8_X + bool "linux-3.8.x" + help + Use a linux-3.8.x version. config EMBTK_LINUX_VERSION_3_7_X bool "linux-3.7.x" help @@ -114,6 +118,10 @@ choice Use a linux-2.6.27.x version. endchoice +if EMBTK_LINUX_VERSION_3_8_X +source kconfig/linux-kconfigs/linux-3.8.kconfig +endif + if EMBTK_LINUX_VERSION_3_7_X source kconfig/linux-kconfigs/linux-3.7.kconfig endif |