1
0

Config.in.kernelcfg 968 B

1234567891011121314151617181920212223242526
  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. config ADK_TARGET_KERNEL_USE_DEFCONFIG
  8. bool "Use defconfig from Linux kernel"
  9. endchoice
  10. config ADK_TARGET_KERNEL_DEFCONFIG
  11. string
  12. depends on ADK_TARGET_KERNEL_USE_DEFCONFIG
  13. default "bcmrpi_defconfig" if ADK_TARGET_SYSTEM_RASPBERRY_PI
  14. default "bcm2709_defconfig" if ADK_TARGET_SYSTEM_RASPBERRY_PI2
  15. default "bcm2709_defconfig" if ADK_TARGET_SYSTEM_RASPBERRY_PI3
  16. default "twr-k70f120m_defconfig" if ADK_TARGET_SYSTEM_KINETIS_K70
  17. default "imx_v7_cbi_hb_defconfig" if ADK_TARGET_SYSTEM_SOLIDRUN_IMX6
  18. default "nsim_700_defconfig" if ADK_TARGET_SYSTEM_NSIM_ARCV1
  19. default "nsim_hs_defconfig" if ADK_TARGET_SYSTEM_NSIM_ARCV2
  20. default "10m50_defconfig" if ADK_TARGET_SYSTEM_QEMU_NIOS2