c'est pas precisé mais les drivers sont ils dans la couche utilisateur ou kernel ?
je crois que les pilotes sont définis comme des services du micro-noyau.