# This file is part of the OpenADK project. OpenADK is copyrighted
# material, please see the LICENCE file in the top-level directory.

config ADK_KERNEL_VERSION_4_0
	bool

config ADK_KERNEL_VERSION_3_19
	bool

config ADK_KERNEL_VERSION_3_18
	bool

config ADK_KERNEL_VERSION_3_14
	bool

config ADK_KERNEL_VERSION_3_12
	bool

config ADK_KERNEL_VERSION_3_10
	bool

config ADK_KERNEL_VERSION_3_4
	bool

config ADK_KERNEL_VERSION_3_2
	bool

config ADK_KERNEL_VERSION_2_6_32
	bool

config ADK_KERNEL_VERSION
	string
	default "4.0.3" if ADK_KERNEL_VERSION_4_0
	default "3.19.5" if ADK_KERNEL_VERSION_3_19_5
	default "3.18.12" if ADK_KERNEL_VERSION_3_18_12
	default "3.14.40" if ADK_KERNEL_VERSION_3_14_40
	default "3.12.40" if ADK_KERNEL_VERSION_3_12_40
	default "3.10.75" if ADK_KERNEL_VERSION_3_10_75
	default "3.4.107" if ADK_KERNEL_VERSION_3_4_107
	default "3.2.68" if ADK_KERNEL_VERSION_3_2_68
	default "2.6.32.65" if ADK_KERNEL_VERSION_2_6_32_65
	help
	  Kernel Version.