kaffe/config/alpha/linux
