diff options
author | Abdoulaye Walsimou Gaye <awg@embtoolkit.org> | 2014-02-23 23:19:10 +0100 |
---|---|---|
committer | Abdoulaye Walsimou Gaye <awg@embtoolkit.org> | 2014-02-23 23:19:10 +0100 |
commit | 5bfe0f4618dc878906529759986463c2971bb638 (patch) | |
tree | 21dc5934c0bdba2260ae3c466d17156219000f5b | |
parent | 110c8707e374749a98dc2dfd51c3f09a89ee7e97 (diff) | |
download | embtoolkit-5bfe0f4618dc878906529759986463c2971bb638.tar.gz embtoolkit-5bfe0f4618dc878906529759986463c2971bb638.tar.bz2 embtoolkit-5bfe0f4618dc878906529759986463c2971bb638.tar.xz |
Toolchain: linux headers: add v3.13.x
Signed-off-by: Abdoulaye Walsimou Gaye <awg@embtoolkit.org>
-rw-r--r-- | kconfig/linux-kconfigs/linux-3.13.kconfig | 42 | ||||
-rw-r--r-- | kconfig/linux.kconfig | 8 |
2 files changed, 50 insertions, 0 deletions
diff --git a/kconfig/linux-kconfigs/linux-3.13.kconfig b/kconfig/linux-kconfigs/linux-3.13.kconfig new file mode 100644 index 0000000..b010ab2 --- /dev/null +++ b/kconfig/linux-kconfigs/linux-3.13.kconfig @@ -0,0 +1,42 @@ +################################################################################ +# Embtoolkit +# Copyright(C) 2014 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 +# the Free Software Foundation, either version 2 of the License, or +# (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program. If not, see <http://www.gnu.org/licenses/>. +# +################################################################################ +# +# \file linux-3.13.kconfig +# \brief linux v3.13.x series +# \author Abdoulaye Walsimou GAYE <awg@embtoolkit.org> +# \date February 2014 +################################################################################ + +choice + prompt "Linux v3.13.x series exact version used." + help + Linux v3.13.x series exact version used. + + config EMBTK_LINUX_VERSION_3_13_5 + bool "linux-3.13.5" +endchoice + +config EMBTK_LINUX_VERSION_STRING + string + default "3.13.5" + +config EMBTK_LINUX_MAJOR_VERSION_STRING + string + default "v3.x" + diff --git a/kconfig/linux.kconfig b/kconfig/linux.kconfig index 7730baa..71daa1f 100644 --- a/kconfig/linux.kconfig +++ b/kconfig/linux.kconfig @@ -28,6 +28,10 @@ choice help Here you can choose which Linux kernel headers you want to use. + config EMBTK_LINUX_VERSION_3_13_X + bool "linux-3.13.x" + help + Use a linux-3.13.x version. config EMBTK_LINUX_VERSION_3_12_X bool "linux-3.12.x" help @@ -134,6 +138,10 @@ choice Use a linux-2.6.27.x version. endchoice +if EMBTK_LINUX_VERSION_3_13_X +source kconfig/linux-kconfigs/linux-3.13.kconfig +endif + if EMBTK_LINUX_VERSION_3_12_X source kconfig/linux-kconfigs/linux-3.12.kconfig endif |