non è detto che quel redirect sia fatto lato client... magari è stato fatto lato server, infatti non vedo nessun redirect sulla cartella /pda

Ad ogni modo non scarterei la lettura del Sistema operativo. Magari è una stringa del tipo "Palm OS xxx"

Per esempio

codice:
<script>   
if (navigator.userAgent.indexOf("Windows CE") != -1)
    {window.location='palm_index.php'}

</script>