Are quant prop shop trading companies using CentOS, Red Hat, or Ubuntu Linux for production trading systems?

Are quant prop shop trading companies using CentOS, Red Hat, or Ubuntu Linux for production trading systems?