PLATFORMID=linux_alpha
RTL_ARCH=ALPHA
RTL_OS=Linux