Guten Morgen,
Angaben zum Betriebssystem (und anderes mehr)
findet sich in der Variablen _SERVER["SERVER_SOFTWARE"].
Du kannst den Inhalt dieser Variablen in Deinem PHP-Script abfragen,
mit Regulären Ausdücken prüfen und darauf entsprechend reagieren.
Gruß,
Serjosha