Los nombres de los archivos de dispositivos dependen del sistema operativo.