[1] M. Acceta, R. Baron, W. Bolosky, D. Holub, R. Rashid, A. Tevanian, and M. Young. Mach: A New Kernel Foundation for UNIX Development. In Proc. 1986 USENIX Summer Tech. Conf., pages 93112, June 1986.

[2] V. Basili and B. Perricone. Software Errors and Complexity: An Empirical Investigation. Commun. of the ACM, 21(1):4252, Jan. 1984.

[3] B. Bershad. The Increasing Irrelevance of IPC Performance for Microkernel-Based Operating

Systems. In Proc. Usenix Microkernels Workshop, pages 205211, Apr. 1992.

[4] H. Bos and B. Samwel. Safe Kernel Programming in the OKE. In Proc. of the 5th IEEE Conference on Open Architectures and Network Programming, pages 141152, June 2002.

[5] A. Bricker, M. Gien, M. Guillemont, J. Lipkis, D. Orr, and M. Rozier. A New Look at Microkernel-Based UNIX Operating Systems: Lessons in Performance and Compatibility. In Proc. EurOpen Spring 1991 Conf., pages 1332, May 1991.

[6] D. Cheriton. The V Kernel: A Software Base for Distributed Systems. IEEE Software, 1(2):1942, Apr. 1984.

[7] A. Chou, J. Yang, B. Chelf, S. Hallem, and D. Engler. An Empirical Study of Operating System Errors. In Proc. 18th ACM Symp. on Oper. Syst. Prin., pages 7388, 2001.

[8] P. Chubb. Get More Device Drivers Out of the Kernel! In Proc. Linux Symp., pages 149162, July 2004.

[9] - . .: 3 . - : , 1997. - .1, .179-308.

[10] D. Engler, M. Kaashoek, and J. J. OToole. Exokernel: an operating system architecture for application-level resource management. In Proc. 15th ACM Symp. on Oper. Syst. Prin., pages 251266, 1995.

[11] A. Forin, D. Golub, and B. Bershad. An I/O System for Mach 3.0. In Proc. Second USENIX Mach Symp., pages 163176, 1991.

[12] A. Gefflaut, T. Jaeger, Y. Park, J. Liedtke, K. Elphinstone, V. Uhlig, J. Tidswell, L. Deller, and L. Reuther. The SawMill Multiserver Approach. In ACM SIGOPS European Workshop, pages 109114, Sept. 2000.

[13] P. B. Hansen. Operating System Principles. Prentice Hall, 1973.