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