[mips_r4300i]

Thanks, that's more what I was looking for. Looks like it is still pretty early stuff but could be useful in the future.