PLATFORMID=kfreebsd_x86 RTL_ARCH=x86 RTL_OS=FreeBSD