# This file is part of the OpenADK project. OpenADK is copyrighted # material, please see the LICENCE file in the top-level directory. config ADK_soft_float bool config ADK_hard_float bool config ADK_TARGET_FLOAT string default "hard" if ADK_hard_float default "soft" if ADK_soft_float
