Warning: link bait. Both companies already use Red Hat Enterprise Linux. I worked on it, but don't take my word for it, it is even in the article. I mean I guess if they merge then Red Hat will (still be) providing the Linux that is used on the trading floor.