kaffe/config/mips
