Omitan esta respuesta para este tema concreto .. que sirva simplemente de "cultura general" xD .. Lo que se necesita en concreto es ver el S.O. que corre PHP .. no el del cliente como es el caso que expongo.
Podrían usar la función:
get_browser()
http://www.php.net/get_browser
que entrega un array con una série de datos sobre el "cliente" conectado a tu script .. entre otros .. el S.O. de este.
También lo tienen en:
$_SERVER['HTTP_USER_AGENT']
pero ahí hay que entrar a "parsear" esa cadena que entrega para localizar el dato que nos interesa .. (con un implode() y algo más se podría hacer .. Revisen los comentarios de los usuarios del manual oficial de PHP . hay alternativas )
Un saludo,