Automatic device driver isolation protects against bugs in operating systems

An operating system's kernel acts as the translator between user and machine. To improve the reliability of a kernel, developers can isolate the operating system's device drivers and prevent a failure in one component from affecting other components. Isolation, however, requires impractical amounts of human effort.

bugs computer sciences device driver isolation operating systems systems