# 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
