# 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.1" 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.