Config.in.kernelcfg 432 B

123456789101112131415161718
  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