source ${srcdir}/emulparams/nds32elf.sh
setvar OUTPUT_FORMAT = "$BIG_OUTPUT_FORMAT"