Urnas eletrônicas

Alguém, por gentileza, poderia indicar um site onde poderíamos baixar os fontes do novo sistema que será utilizado nas urnas eletrônicas das eleições municipais deste ano? Porque segundo o portal da SERPRO este ano as urnas vem com essa novidade, ao invés de VirtuOS e WinCE será uma distribuição desenvolvida pela equipe interna do TSE, só que usando kernel 2.6.x.x, assim seria interessante darmos uma olhada ao código dessas coisinhas...
Esse é o link da notícia:
http://www.serpro.gov.br/serpronamidia/urnas-eletronicas-terao-sistema-operacional-linux-para-as-pro...

Fico no agurado...abraços a todos!