# 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

config ADK_TARGET_KERNEL_MINICONFIG
	string
	depends on ADK_TARGET_KERNEL_USE_MINICONFIG
	default "arm-fm" if ADK_TARGET_SYSTEM_ARM_FM
	default "qemu-cris" if ADK_TARGET_SYSTEM_QEMU_CRIS
	default "qemu-microblaze-s3adsp1800" if ADK_TARGET_QEMU_MICROBLAZE_MODEL_S3ADSP1800
	default "qemu-microblaze-ml605" if ADK_TARGET_QEMU_MICROBLAZE_MODEL_ML605
	default "qemu-aarch64" if ADK_TARGET_SYSTEM_QEMU_AARCH64
	default "qemu-arm-versatilepb" if ADK_TARGET_QEMU_ARM_MODEL_VERSATILEPB
	default "qemu-arm-vexpress-a9" if ADK_TARGET_QEMU_ARM_MODEL_VEXPRESS_A9
	default "qemu-arm-spitz" if ADK_TARGET_QEMU_ARM_MODEL_SPITZ
	default "qemu-arm-terrier" if ADK_TARGET_QEMU_ARM_MODEL_TERRIER
	default "qemu-mips" if ADK_TARGET_SYSTEM_QEMU_MIPS
	default "qemu-mips64" if ADK_TARGET_SYSTEM_QEMU_MIPS64
	default "qemu-ppc-mac99" if ADK_TARGET_QEMU_PPC_MACPPC
	default "qemu-ppc-bamboo" if ADK_TARGET_QEMU_PPC_BAMBOO
	default "qemu-virtex-ml507" if ADK_TARGET_QEMU_PPC_VIRTEX_ML507
	default "qemu-ppc64" if ADK_TARGET_SYSTEM_QEMU_PPC64
	default "qemu-sh" if ADK_TARGET_SYSTEM_QEMU_SH
	default "qemu-sparc" if ADK_TARGET_SYSTEM_QEMU_SPARC
	default "qemu-sparc64" if ADK_TARGET_SYSTEM_QEMU_SPARC64
	default "qemu-x86" if ADK_TARGET_SYSTEM_QEMU_X86
	default "qemu-x86_64" if ADK_TARGET_SYSTEM_QEMU_X86_64
	default "qemu-xtensa" if ADK_TARGET_SYSTEM_QEMU_XTENSA
	default "qemu-alpha" if ADK_TARGET_SYSTEM_QEMU_ALPHA
	default "aranym-m68k" if ADK_TARGET_SYSTEM_ARANYM_M68K
	default "vbox-x86" if ADK_TARGET_SYSTEM_VBOX_X86
	default "ibm-x40" if ADK_TARGET_SYSTEM_IBM_X40
	default "solidrun-imx6" if ADK_TARGET_SYSTEM_SOLIDRUN_IMX6
	default "raspberry-pi" if ADK_TARGET_SYSTEM_RASPBERRY_PI
	default "raspberry-pi2" if ADK_TARGET_SYSTEM_RASPBERRY_PI2
	default "sharp-zaurus" if ADK_TARGET_SYSTEM_SHARP_ZAURUS
	default "linksys-nslu2" if ADK_TARGET_SYSTEM_LINKSYS_NSLU2
	default "lemote-yeelong" if ADK_TARGET_SYSTEM_LEMOTE_YEELONG
	default "mikrotik-rb4xx" if ADK_TARGET_SYSTEM_MIKROTIK_RB4XX
	default "mikrotik-rb532" if ADK_TARGET_SYSTEM_MIKROTIK_RB532
	default "dragino-ms14s" if ADK_TARGET_SYSTEM_DRAGINO_MS14S
	default "generic-pc" if ADK_TARGET_SYSTEM_GENERIC_PC
	default "pcengines-apu" if ADK_TARGET_SYSTEM_PCENGINES_APU
	default "atmel-ngw100" if ADK_TARGET_SYSTEM_ATMEL_NGW100
	default "apple-macmini" if ADK_TARGET_SYSTEM_APPLE_MACMINI
	default "sun-voyager" if ADK_TARGET_SYSTEM_SUN_VOYAGER
	default "banana-pro" if ADK_TARGET_SYSTEM_BANANA_PRO
	default "xilinx-kintex7" if ADK_TARGET_SYSTEM_XILINX_KINTEX7
	default "pcengines-alix" if ADK_TARGET_SYSTEM_PCENGINES_ALIX
	default "kinetis-k70" if ADK_TARGET_SYSTEM_KINETIS_K70
	default "sim-bfin" if ADK_TARGET_SYSTEM_SIM_BFIN
	default "sim-h8300h" if ADK_TARGET_SYSTEM_SIM_H8300H
	default "qemu-m68k-mcf5208" if ADK_TARGET_QEMU_M68K_MCF5208
	default "qemu-m68k-q800" if ADK_TARGET_QEMU_M68K_Q800
	default "imgtec-ci20" if ADK_TARGET_SYSTEM_IMGTEC_CI20
	default "qemu-metag" if ADK_TARGET_SYSTEM_QEMU_METAG
	default "qemu-or1k" if ADK_TARGET_SYSTEM_QEMU_OR1K
	default "beaglebone-black" if ADK_TARGET_SYSTEM_BEAGLEBONE_BLACK