summaryrefslogtreecommitdiff
path: root/core/kconfig/linux.kconfig
blob: 7abcb95347a8f341b34c98ecb96f17e8c33a01f6 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
#################################################################################
# Embtoolkit
# Copyright(C) 2009-2015 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.kconfig
# \brief	linux.kconfig of Embtoolkit
# \author       Abdoulaye Walsimou GAYE <awg@embtoolkit.org>
# \date         May 2009
################################################################################

choice
	prompt "Linux kernel source"
	help
	 Which linux kernel to use and where to find it.

	config EMBTK_LINUX_SRC_GENERIC
		bool "Generic"
		help
		 To build the toolchain, use generic kernel source tree from
		 kernel.org.
	config EMBTK_LINUX_SRC_CUSTOM
		bool "Custom"
		help
		 Use your own custom linux kernel source tree.
endchoice

if EMBTK_LINUX_SRC_GENERIC
source "core/kconfig/linux-generic.kconfig"
endif

if EMBTK_LINUX_SRC_CUSTOM
source "core/kconfig/linux-custom.kconfig"
endif

config EMBTK_LINUX_NEED_PATCH
	bool