target/waldux/config/Config.in.xtensa

   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
   4 config ADK_WALDUX_KERNEL_XTENSA_VARIANT_DC233C
   5         bool
   6
   7 config ADK_WALDUX_KERNEL_XTENSA_VARIANT_DC232B
   8         bool
   9
  10 config ADK_WALDUX_KERNEL_INITIALIZE_XTENSA_MMU_INSIDE_VMLINUX
  11         bool
  12
  13 config ADK_WALDUX_KERNEL_XTENSA_VARIANT_CUSTOM
  14         bool
  15
  16 config ADK_WALDUX_KERNEL_XTENSA_VARIANT_CUSTOM_NAME
  17         string
  18         default "de212" if ADK_TARGET_CPU_XTENSA_DE212
  19
  20 config ADK_WALDUX_KERNEL_BUILTIN_DTB
  21         string
  22         default "kc705_nommu" if ADK_TARGET_CPU_XTENSA_DE212