1234567891011121314151617181920212223242526272829 |
- # 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" if !ADK_TARGET_CHOOSE_ARCH
- config ADK_TARGET_KERNEL_USE_MINICONFIG
- bool "Use mini.config from OpenADK"
- depends on !ADK_TARGET_KERNEL_VERSION_RPI \
- && !ADK_TARGET_KERNEL_VERSION_FSLC
- 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
- default "bcmrpi_defconfig" if ADK_TARGET_SYSTEM_RASPBERRY_PI
- default "bcm2709_defconfig" if ADK_TARGET_SYSTEM_RASPBERRY_PI2
- default "bcm2709_defconfig" if ADK_TARGET_SYSTEM_RASPBERRY_PI3
- default "twr-k70f120m_defconfig" if ADK_TARGET_SYSTEM_KINETIS_K70
- default "imx_v7_cbi_hb_defconfig" if ADK_TARGET_SYSTEM_SOLIDRUN_IMX6
- default "nsim_700_defconfig" if ADK_TARGET_SYSTEM_NSIM_ARCV1
- default "nsim_hs_defconfig" if ADK_TARGET_SYSTEM_NSIM_ARCV2
- default "10m50_defconfig" if ADK_TARGET_SYSTEM_QEMU_NIOS2
- default "orca_defconfig" if ADK_TARGET_SYSTEM_ANDES_AG101P
|