[Debian-br-gud-rs] Debian em computadores HP

[Paulo Francisco Slomp]

Gente

Debian em computadores HP

Estou com dificuldades de instalar o Debian em computadores HP e me 
indicaram para baixar uma atualização da página:

http://h20000.www2.hp.com/bizsupport/TechSupport/SoftwareIndex.jsp?lang=es&cc=lamerica_nsc_cnt_amer&prodNameId=5037933&prodTypeId=12454&prodSeriesId=5037931&swLang=35&taskId=135&swEnvOID=4123 
"

Alguém sabe notícia sobre essa questão?

Parece que é algo referente a substituição da BIOS pelo UEFI, com a tal 
"inicialização segura".

Obrigado.

-- 
_______________________________
Paulo Francisco Slomp
http://www.ufrgs.br/psicoeduc
Acionado com Software Livre
http://www.ufrgs.br/soft-livre-edu