> > Ohh you are right, while, does mips*-linux without ABI section really matter?
> > I never hear about it is used for any real system.
> 
>  You may not have heard about it, but someone has added these machine 
> specifiers for a reason and I reckon seeing at least `mipsisa64-*-*' ones 
> used at one point, maybe at MTI back in ~2005.  Here the "isa64" suffix 
> only specifies the ISA level (just as with "isa32", etc.) and not the ABI 
> such as with the "64" suffix.

OK so right now (restricting myself to BE)

* pure 32bit system in Gentoo uses plain mips-unknown-linux-gnu
* anything 64bit (including n32) uses mips64-unknown-linux-gnu

We, Gentoo, plan to move 
* n32 to mips64-unknown-linux-gnuabin32 and 
* n64 to mips64-unknown-linux-gnuabi64

but so far this is just a (though already far-developed) plan.

(Also, I'm not really the main Gentoo mips expert to talk to...)

-- 
Andreas K. Hüttel
dilfridge@gentoo.org
Gentoo Linux developer
(council, toolchain, base-system, perl, libreoffice)