Abstract: Kernel extensions, such as device drivers in operating systems, are proved to be much more unreliable than other parts of kernel. Recent researches on OS reliability are focusing on the isolation of extension modules from kernel. In this paper, a new arch

Key words: Operating system, Reliability, Device driver, Isolation