@knuthf
My girlfriend worked for Amdahl in the 80's as the QA automation lead to test the Unix kernel for their systems:
http://en.wikipedia.org/wiki/Amdahl_Corporation

And, since she was one of a few hundred people that had actually done this kind of work, she later worked for Tandem doing the same thing on the Tandem NonStop UX OS:
http://en.wikipedia.org/wiki/Tandem_Computers

While it is true mainframes didn't start out with Unix, they have all since been re-designed to use it - and for more than 20 years, they have been nothing else.

Today, mainframes are no longer sold, but maintained via service contract. If you want the modern equivalent, say an IBM Z server, it's all highly-customized Linux goodness.

But, if you want the real thing, just lay down the PO number for Linux on IBM System z:
http://www-03.ibm.com/systems/z/os/linux/

The HP NonStop server too (formerly Tandem); (now) a highly-customized POSIX-compliant OS:
http://goo.gl/Or0Kk

Although IBM and HP would have you believe they created an entire OS, out of the mist, as they did with all other computing. If creating OSs was so easy, there wouldn't be just 3 (Win/Lin/Mac) contenders; really there are only 2 as Linux and Mac are more brothers than anything else.

Your history is splotchy at best; messy.