1 # This file is part of the OpenADK project. OpenADK is copyrighted
2 # material, please see the LICENCE file in the top-level directory.
4 config ADK_WALDUX_KERNEL_XTENSA_VARIANT_DC233C
7 config ADK_WALDUX_KERNEL_XTENSA_VARIANT_DC232B
10 config ADK_WALDUX_KERNEL_INITIALIZE_XTENSA_MMU_INSIDE_VMLINUX
13 config ADK_WALDUX_KERNEL_XTENSA_VARIANT_CUSTOM
16 config ADK_WALDUX_KERNEL_XTENSA_VARIANT_CUSTOM_NAME
18 default "de212" if ADK_TARGET_CPU_XTENSA_DE212
20 config ADK_WALDUX_KERNEL_BUILTIN_DTB
22 default "kc705_nommu" if ADK_TARGET_CPU_XTENSA_DE212