Driver
In informatica, è detto driver il codice che permette ad un sistema operativo di pilotare un dispositivo hardware.Esistono driver di molti tipi, a secondo del tipo di hardware che devono pilotare e soprattutto del sistema operativo su cui devono girare.
- Nei Sistemi Embedded, in cui tutto il software è un unico programma compilato e caricato in ROM, il driver non è altro che una routine del programma che si interfaccia con l'hardware da pilotare.
- In maniera analoga, nei sistemi operativi con Kernel monolitico, il driver è un modulo compilato insieme al kernel. Pertanto, non è possibile aggiungere una periferica nuova senza ricompilare il kernel.
- Nei sistemi operativi a Microkernel, il driver è un file binario che viene caricato dinamicamente dal kernel. In questo caso è possibile aggiungere una nuova periferica e il kernel dovrà semplicemente caricare il file del driver opportuno.