PLATFORMID=kfreebsd_x86_64
RTL_ARCH=X86_64
RTL_OS=FreeBSD