My server is Linux, but the rest are a whole mix of stuff.
I believe the FAA requires any flight critical software to have near perfect reliability. The obvious choice there would be to stick with Mac, as it's a BSD derivative.