I can think of Sony Interactive Entertainment using FreeBSD for the PS4 and Linux for their Gaikai streaming video servers but that's about it. I suppose...