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