# This file is part of the OpenADK project. OpenADK is copyrighted
# material, please see the LICENCE file in the top-level directory.

config ADK_KERNEL_XTENSA_VARIANT_DC233C
	bool

config ADK_KERNEL_XTENSA_VARIANT_DC232B
	bool

config ADK_KERNEL_INITIALIZE_XTENSA_MMU_INSIDE_VMLINUX
	bool

config ADK_KERNEL_XTENSA_VARIANT_CUSTOM
	bool

config ADK_KERNEL_XTENSA_VARIANT_CUSTOM_NAME
	string
	default "de212" if ADK_TARGET_CPU_XTENSA_DE212

config ADK_KERNEL_BUILTIN_DTB
	string
	default "kc705_nommu" if ADK_TARGET_CPU_XTENSA_DE212