path: root/target/config/Config.in.arm.default

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

config ADK_TARGET_ARCH_ARM_WITH_THUMB
	bool
	select ADK_KERNEL_THUMB2_KERNEL
	depends on ADK_TARGET_ARCH_ARM