Sim, os drivers fazem parte do sistema operacional. Eles são executados com o mesmo nível de privilégio que o kernel do sistema operacional e, para escrever um driver, você deve saber bastante sobre os componentes internos do SO. O papel dos drivers é fornecer uma abstração do hardware para que os aplicativos possam usá-lo através da API do sistema operacional (interface de programação de aplicativos), em vez de precisar saber detalhes específicos dele. Em muitos casos, também permite o compartilhamento da mesma peça de hardware entre vários aplicativos simultaneamente.
Algo que engana os usuários em pensar drivers pode não fazer parte do sistema operacional é que muitos fornecedores fornecem drivers para hardware que eles fazem separadamente do sistema operacional. De fato, muitos drivers são apresentados como módulos carregáveis que podem ser carregados e, em seguida, participam do sistema operacional dinamicamente. Uma vez que eles não são mais usados, eles podem ser "desconectados" do sistema operacional e continuar funcionando normalmente.
Carregáveis ou não, os drivers são sempre específicos dos dispositivos que devem disponibilizar ao sistema, de modo que, embora às vezes sejam partes "opcionais" do sistema operacional, participam dele ao operar.