# 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_ARM_THUMB
       select ADK_KERNEL_THUMB2_KERNEL
       depends on ADK_TARGET_ARCH_ARM