Oggi ho trovato un programma utile a chi come me possiede un computer Dell ed usa GNU/Linux.
Tutti quelli che vogliono aggiornare il BIOS del proprio pc devono seguire questa procedura:
1) Andate all'indirizzo http://support.euro.dell.com/support/downloads/index.aspx?c=it&cs=itdhs1&l=it&s=dhs e selezionate il vostro modello di computer per poter scaricare il BIOS adatto. Nel mio caso il file in questione è D5150A07.EXE.
2) Una volta scaricato il bios andate all'indirizzo http://linux.dell.com/biosdisk/ e scaricate il file biosdisk-0.65-1.noarch.rpm (o una versione più recente, se disponibile)
% wget http://linux.dell.com/biosdisk/biosdisk-0.65-1.noarch.rpm
3) Ora installate(come root) il programma appena scaricato:
% rpm -ivh biosdisk-0.65-1.noarch.rpm
4) Inserite un floppy vuoto nel drive, ma senza montarlo. Poi da shell digitate(sempre come root):
% /usr/sbin/biosdisk mkfloppy -d /dev/floppy /home/foobar/D5150A07.EXE
(nel vostro caso indicate la locazione del file exe, nel mio caso /home/foobar/D5150A07.EXE)
5) Ora riavviate e scegliete, premendo F12, come primo dispositivo di boot il floppy drive
6) Seguite le istruzioni che compariranno, ed il gioco è fatto.
Links utili:
http://linux.dell.com/projects.shtml
http://support.dell.com/support/index.aspx