Ein US-Bezirksgericht in Texas hat Google zu einer Schadenersatzzahlung von fünf Millionen Dollar wegen Patentverletzungen durch die Verwendung bestimmter Linux-Versionen auf seinen Servern verurteilt.