For public Internet servers, Linux is generally counted as dominant, powering about twice the number of hosts as Windows Server – which is trailed by many smaller players including traditional mainframe OSes.