They use CentOS for flight information computers. Caught it rebooting!