Microkernels--long discarded as unacceptable because of their lower performance compared with monolithic kernels--might be making a comeback in operating systems due to their potentially higher reliability, which many researchers now regard as more important than performance.
Index Terms:
Microkernels, Operating systems, Paravirtual machines, Multiserver architectures, Interprocess communication, Minix 3, Singularity operating system
Citation:
Andrew S. Tanenbaum, Jorrit N. Herder, Herbert Bos, "Can We Make Operating Systems Reliable and Secure?," Computer, vol. 39, no. 5, pp. 44-51, May 2006, doi:10.1109/MC.2006.156