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

choice 
prompt "Kernel configuration"

config ADK_TARGET_KERNEL_USE_MINICONFIG
	bool "Use mini.config from OpenADK"

config ADK_TARGET_KERNEL_USE_DEFCONFIG
	bool "Use defconfig from Linux kernel"

endchoice

config ADK_TARGET_KERNEL_DEFCONFIG
	string
	depends on ADK_TARGET_KERNEL_USE_DEFCONFIG