I don't think we do, but Linux is always attributed as "Linux is a registered trademark of Linus Torvalds" when posted on a corporate website, like SGI, Sun, Novell, IBM, Microsoft, etc
don't think we do, given that we don't put it after anything else (we don't type "Intel Pentium(R) 4" do we?)
I'm sort of surprised how quickly SGI has abandoned IRIX 6.x, which used to be their whole pride and joy, and now they've transitioned their top shelf servers towards Itanium2 and Linux, and their workstations are moving in the same direction afaik
while Origin seems to be run to a standstill with the R16k series MIPS procs (i think 16k is the top, idk, might be off a tad bit there) and IRIX 6.5.x, then again, who buys an Origin?