kaffe/config/mips/ultrix4
