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.
Automatic device driver isolation protects against bugs in operating systems
