# 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