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 Il primo disco fisso
sdb Il secondo disco fisso
sda1 Prima partizione del primo disco fisso
sdb7 Settima partizione del secondo disco fisso

sr0 Il primo lettore CD-ROM
sr1 Il secondo lettore CD-ROM

ttyS0 Porta seriale 0, COM1 sotto MS-DOS
ttyS1 Porta seriale 1, COM2 sotto MS-DOS
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 Qualunque cosa scritta su questo device scomparirà
zero Vi si possono leggere infiniti zero