kaffe/config/mips/linux
