SGI Pro64 - it's IA64 only and uses the gcc frontends.
But I doubt that it will compily a kernel correctly ...
Christoph
-- Always remember that you are unique. Just like everyone else. - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org Please read the FAQ at http://www.tux.org/lkml/