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