Config.in.kernelcfg 1.1 KB

1234567891011121314151617181920212223242526272829
  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. config ADK_TARGET_KERNEL_USE_MINICONFIG
  6. bool "Use mini.config from OpenADK"
  7. depends on !ADK_TARGET_KERNEL_VERSION_RPI \
  8. && !ADK_TARGET_KERNEL_VERSION_FSLC
  9. config ADK_TARGET_KERNEL_USE_DEFCONFIG
  10. bool "Use defconfig from Linux kernel"
  11. endchoice
  12. config ADK_TARGET_KERNEL_DEFCONFIG
  13. string
  14. depends on ADK_TARGET_KERNEL_USE_DEFCONFIG
  15. default "bcmrpi_defconfig" if ADK_TARGET_SYSTEM_RASPBERRY_PI
  16. default "bcm2709_defconfig" if ADK_TARGET_SYSTEM_RASPBERRY_PI2
  17. default "bcm2709_defconfig" if ADK_TARGET_SYSTEM_RASPBERRY_PI3
  18. default "twr-k70f120m_defconfig" if ADK_TARGET_SYSTEM_KINETIS_K70
  19. default "imx_v7_cbi_hb_defconfig" if ADK_TARGET_SYSTEM_SOLIDRUN_IMX6
  20. default "nsim_700_defconfig" if ADK_TARGET_SYSTEM_NSIM_ARCV1
  21. default "nsim_hs_defconfig" if ADK_TARGET_SYSTEM_NSIM_ARCV2
  22. default "10m50_defconfig" if ADK_TARGET_SYSTEM_QEMU_NIOS2
  23. default "orca_defconfig" if ADK_TARGET_SYSTEM_ANDES_AG101P