################################################################################
# Embtoolkit
# Copyright(C) 2018 Abdoulaye Walsimou GAYE.
#
#############################################################################
#
# \file         linux-4.0.kconfig
# \brief	linux v4.0.x series
# \author       Abdoulaye Walsimou GAYE <awg@embtoolkit.org>
# \date         August 2018
################################################################################

choice
	prompt "Linux v4.0.x series exact version used."
	help
	 Linux v4.0.x series exact version used.

	config EMBTK_LINUX_VERSION_4_0_9
		bool "linux-4.0.1"
endchoice

config EMBTK_LINUX_VERSION_STRING
	string
	default "4.0.9"

config EMBTK_LINUX_MAJOR_VERSION_STRING
	string
	default "v4.x"