jack/config/cpu/mips
