Open source giant Red Hat has a new CEO

Paul Cormier takes the top job as IBM hopes its big bet on open source can pay off.