What is the Value of Red Hat’s Patents?

Linux leader Red Hat has now been recognized for the strength of its patents, what is it doing with all that intellectual property?