# Several paths
GCC_2953=/usr/local/bin
RTLINUX=/usr/src/rtlinux/rtlinux