Config.in.kernelcfg 754 B

1234567891011121314151617181920212223
  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"
  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 "twr-k70f120m_defconfig" if ADK_TARGET_SYSTEM_KINETIS_K70
  15. default "imx_v7_cbi_hb_defconfig" if ADK_TARGET_SYSTEM_SOLIDRUN_IMX6
  16. default "nsim_700_defconfig" if ADK_TARGET_SYSTEM_NSIM_ARCV1
  17. default "nsim_hs_defconfig" if ADK_TARGET_SYSTEM_NSIM_ARCV2