Config.in.kernelcfg 1.1 KB

123456789101112131415161718192021222324252627282930
  1. # This file is part of the OpenADK project. OpenADK is copyrighted
  2. # material, please see the LICENCE file in the top-level directory.
  3. choice
  4. prompt "Kernel configuration" if !ADK_TARGET_CHOOSE_ARCH
  5. depends on ADK_TARGET_OS_LINUX
  6. config ADK_TARGET_KERNEL_USE_MINICONFIG
  7. bool "Use mini.config from OpenADK"
  8. depends on !ADK_TARGET_KERNEL_VERSION_RPI \
  9. && !ADK_TARGET_KERNEL_VERSION_FSLC
  10. config ADK_TARGET_KERNEL_USE_DEFCONFIG
  11. bool "Use defconfig from Linux kernel"
  12. endchoice
  13. config ADK_TARGET_KERNEL_DEFCONFIG
  14. string
  15. depends on ADK_TARGET_KERNEL_USE_DEFCONFIG
  16. default "bcmrpi_defconfig" if ADK_TARGET_SYSTEM_RASPBERRY_PI
  17. default "bcm2709_defconfig" if ADK_TARGET_SYSTEM_RASPBERRY_PI2
  18. default "bcm2709_defconfig" if ADK_TARGET_SYSTEM_RASPBERRY_PI3
  19. default "twr-k70f120m_defconfig" if ADK_TARGET_SYSTEM_KINETIS_K70
  20. default "imx_v7_cbi_hb_defconfig" if ADK_TARGET_SYSTEM_SOLIDRUN_IMX6
  21. default "nsim_700_defconfig" if ADK_TARGET_SYSTEM_NSIM_ARCV1
  22. default "nsim_hs_defconfig" if ADK_TARGET_SYSTEM_NSIM_ARCV2
  23. default "10m50_defconfig" if ADK_TARGET_SYSTEM_QEMU_NIOS2
  24. default "orca_defconfig" if ADK_TARGET_SYSTEM_ANDES_AG101P