Config.in.kernelcfg 2.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051
  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. default ADK_TARGET_LINUX_KERNEL_USE_DEFCONFIG if ADK_TARGET_SYSTEM_BEAGLEBONE_BLACK && ADK_TARGET_LINUX_KERNEL_VERSION_GIT
  7. default ADK_TARGET_LINUX_KERNEL_USE_DEFCONFIG if ADK_TARGET_SYSTEM_PHYTEC_WEGA && ADK_TARGET_LINUX_KERNEL_VERSION_GIT
  8. default ADK_TARGET_LINUX_KERNEL_USE_DEFCONFIG if ADK_TARGET_SYSTEM_SOLIDRUN_CLEARFOG && ADK_TARGET_LINUX_KERNEL_VERSION_GIT
  9. config ADK_TARGET_LINUX_KERNEL_USE_MINICONFIG
  10. bool "Use mini.config from OpenADK"
  11. config ADK_TARGET_LINUX_KERNEL_USE_DEFCONFIG
  12. bool "Use defconfig from Linux kernel"
  13. config ADK_TARGET_LINUX_KERNEL_USE_CUSTOMCONFIG
  14. bool "Use custom Linux kernel configuration file"
  15. endchoice
  16. config ADK_TARGET_LINUX_KERNEL_DEFCONFIG
  17. string "Defconfig name"
  18. depends on ADK_TARGET_LINUX_KERNEL_USE_DEFCONFIG
  19. default "bcmrpi_defconfig" if ADK_TARGET_SYSTEM_RASPBERRY_PI
  20. default "bcmrpi_defconfig" if ADK_TARGET_SYSTEM_RASPBERRY_PI0
  21. default "bcm2709_defconfig" if ADK_TARGET_SYSTEM_RASPBERRY_PI2
  22. default "bcm2709_defconfig" if ADK_TARGET_SYSTEM_RASPBERRY_PI3
  23. default "bcmrpi3_defconfig" if ADK_TARGET_SYSTEM_RASPBERRY_PI3_64
  24. default "twr-k70f120m_defconfig" if ADK_TARGET_SYSTEM_KINETIS_K70
  25. default "imx_v7_cbi_hb_defconfig" if ADK_TARGET_SYSTEM_SOLIDRUN_IMX6 && ADK_TARGET_LINUX_KERNEL_VERSION_GIT
  26. default "imx_v6_v7_defconfig" if ADK_TARGET_SYSTEM_SOLIDRUN_IMX6
  27. default "mvebu_defconfig" if ADK_TARGET_SYSTEM_SOLIDRUN_CLEARFOG
  28. default "nsim_700_defconfig" if ADK_TARGET_SYSTEM_NSIM_ARCV1
  29. default "nsim_hs_defconfig" if ADK_TARGET_SYSTEM_NSIM_ARCV2
  30. default "10m50_defconfig" if ADK_TARGET_SYSTEM_QEMU_NIOS2
  31. default "ag101p_defconfig" if ADK_TARGET_SYSTEM_ANDES_AG101P
  32. default "bb.org_defconfig" if ADK_TARGET_SYSTEM_BEAGLEBONE_BLACK
  33. default "am335x_phytec_defconfig" if ADK_TARGET_SYSTEM_PHYTEC_WEGA
  34. default "j2_defconfig" if ADK_TARGET_SYSTEM_NUMATO_MIMASV2
  35. default "sunxi_defconfig" if ADK_TARGET_SYSTEM_ORANGE_PI0
  36. default "edosk2674_defconfig" if ADK_TARGET_SYSTEM_HITACHI_EDOSK2674
  37. default "x86_64_defconfig" if ADK_TARGET_SYSTEM_GENERIC_X86_64
  38. default "i386_defconfig" if ADK_TARGET_SYSTEM_GENERIC_X86
  39. default ""
  40. config ADK_TARGET_LINUX_KERNEL_CUSTOMCONFIG_PATH
  41. string "Kernel configuration file location"
  42. depends on ADK_TARGET_LINUX_KERNEL_USE_CUSTOMCONFIG
  43. default ".kernelconfig"