El Tribunal Superior Electoral de Brasil anunció el 4 de abril que para las elecciones de 2008 se usarán máquinas con GNU/Linux y autentificación digital por software para las 430.000 terminales de votación electrónica del país que, hasta el momento, funcionaban con VirtuOS y Windows CE. Según informaron fuentes del tribunal, el objetivo es cumplir los requisitos legales de seguridad y permitir auditorías. Este cambio permitirá también también reducir costes. El Software Libre permite a los expertos informáticos de todos los partidos verificar todo el software de las máquinas que registran y cuentan los votos, con lo que se consigue una mayor transparencia y control.