Je úplně šumafuk, jestli je kernel i s drivery v jednom souboru, nebo v oddělených souborech. Vše tak jako tak běží v kernel space. Ten úžasný "mikrokernel" widnows shodím do BSOD na požádání třeba tím, že při uspávání vypnu externí monitor, stává se mi celkem pravidelně, když na to zapomenu. Driver je pochopitelně WHQL.