Sólo para nerds: ¿Qué sistema operativo usa Batman en sus súpercomputadoras?

Me divertí muchísimo leyendo esta nota: ¿Qué sistema operativo usa Batman?