#@TYPE: Machine configuration
#@NAME: nios2

DEFAULTTUNE ?= "nios2"

TUNE_ARCH = "nios2el"

require conf/machine/include/nios2/feature-nios2-multiply.inc
require conf/machine/include/nios2/feature-nios2-divide.inc
require conf/machine/include/nios2/feature-nios2-fpu.inc

AVAILTUNES += "nios2"
TUNEVALID[nios2] = "nios2"
TUNE_FEATURES_tune-nios2 += "nios2"

TUNE_CCARGS += "-mel ${NIOS2CCARGSDIV} ${NIOS2CCARGSFPU} ${NIOS2CCARGSMUL}"
TUNE_PKGARCH = "nios2${NIOS2PKGMUL}${NIOS2PKGDIV}${NIOS2PKGFPU}"
PACKAGE_EXTRA_ARCHS_tune-nios2 = "${TUNE_PKGARCH}"