PLATFORMID=linux_mips64_el
RTL_ARCH=MIPS64_EL
RTL_OS=Linux