D.1. I device linux

In Linux, all'interno della directory /dev, sono presenti diversi file speciali, chiamati file di device, che si comportano in modo diverso dai file normali. I tipi più comuni di file di device sono per i device a blocchi e per i device a caratteri. Questo tipo di file sono un'interfaccia per i driver (che fanno parte del kernel Linux) che si occupano del reale accesso all'hardware. Un altro tipo di device, meno comune, sono i file pipe. I file di device più significativi sono elencati nella seguente tabella.

sda Primo disco fisso
sdb Secondo disco fisso
sda1 Prima partizione del primo disco fisso
sdb7 Settima partizione del secondo disco fisso

sr0 Primo lettore CD-ROM
sr1 Secondo lettore CD-ROM

ttyS0 Porta seriale 0, indicata anche come COM1
ttyS1 Porta seriale 1, indicata anche come COM2
psaux Device del mouse PS/2
gpmdata Pseudo device, usato dal demone GPM per ritrasmettere i dati del mouse

cdrom Link simbolico al lettore CD
mouse Link simbolico al file di device del mouse

null Qualsiasi dato scritto su questo device viene scartato
zero Fornisce una sequenza infinita di zeri in lettura