#################################################################################
# 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 .
#
################################################################################
#
# \file linux.kconfig
# \brief linux.kconfig of Embtoolkit
# \author Abdoulaye Walsimou GAYE
# \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