Primero se debe descargar el software del lector de tarjetas desde este enlace, descargando la versión que corresponda con el sistemas operativo del equipo.

Antes de instalar este software se debe cerrar Firefox. Tras cerrar Firefox, ejecutar el instalador y seguir los pasos que se indiquen.

Tras la instalación entrar de nuevo en Firefox y comprobar si se ha configurado correctamente, o si por el contrario hay que hacerlo a mano.

Para ello ir a 'Opciones':

En el menú de la izquierda ir a la opción 'Avanzado' y seleccionar en la pantalla la pestaña 'Certificados':

En esta nueva pantalla seleccionar 'Dispositivos de seguridad':

Si el instalador ha sido capáz de configurar el software de la tarjeta, en esta pantalla veremos que en el listado aparece una entrada con un nombre parecido a "Bit4id PCKS #11"'. Si aparece este nombre entonces el lector estaría configurado correctamente y no sería necesario continuar con la configuración. Si por el contrario no aparece, como se muestra en la siguiente imagen, se debe configurar manualmente.

Para configurarlo manualmente hacer click sobre el botón 'Cargar':

En la siguiente ventana indicar el nombre para el nuevo dispositivo. Rellenamos con 'Bit4id PKCS #11'. Luego se debe hacer click sobre el botón 'Examinar' y buscar un fichero que se ha instalado anteriormente en el inicio del proceso.