{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T17:11:04Z","timestamp":1790961064357,"version":"4.1.0"},"reference-count":39,"publisher":"Association for Computing Machinery (ACM)","issue":"3","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGOPS Oper. Syst. Rev."],"published-print":{"date-parts":[[2006,7]]},"abstract":"<jats:p>Different kinds of people use computers now than several decades ago, but operating systems have not fully kept pace with this change. It is true that we have point-and-click GUIs now instead of command line interfaces, but the expectation of the average user is different from what it used to be, because the user is different. Thirty or 40 years ago, when operating systems began to solidify into their current form, almost all computer users were programmers, scientists, engineers, or similar professionals doing heavy-duty computation, and they cared a great deal about speed. Few teenagers and even fewer grandmothers spent hours a day behind their terminal. Early users expected the computer to crash often; reboots came as naturally as waiting for the neighborhood TV repairman to come replace the picture tube on their home TVs. All that has changed and operating systems need to change with the times.<\/jats:p>","DOI":"10.1145\/1151374.1151391","type":"journal-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T22:35:32Z","timestamp":1161210932000},"page":"80-89","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":92,"title":["MINIX 3"],"prefix":"10.1145","volume":"40","author":[{"given":"Jorrit N.","family":"Herder","sequence":"first","affiliation":[{"name":"Vrije Universiteit Amsterdam, The Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Herbert","family":"Bos","sequence":"additional","affiliation":[{"name":"Vrije Universiteit Amsterdam, The Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ben","family":"Gras","sequence":"additional","affiliation":[{"name":"Vrije Universiteit Amsterdam, The Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Philip","family":"Homburg","sequence":"additional","affiliation":[{"name":"Vrije Universiteit Amsterdam, The Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andrew S.","family":"Tanenbaum","sequence":"additional","affiliation":[{"name":"Vrije Universiteit Amsterdam, The Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2006,7]]},"reference":[{"key":"e_1_2_1_1_1","first-page":"93","volume-title":"Proc. of USENIX'86","author":"Accetta M.","year":"1986","unstructured":"M. Accetta , R. Baron , W. Bolosky , D. Golub , R. Rashid , A. Tevanian , and M. Young . Mach: A New Kernel Foundation for UNIX Development . In Proc. of USENIX'86 , pages 93 -- 113 , 1986 . M. Accetta, R. Baron, W. Bolosky, D. Golub, R. Rashid, A. Tevanian, and M. Young. Mach: A New Kernel Foundation for UNIX Development. In Proc. of USENIX'86, pages 93--113, 1986."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/945445.945462"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/69605.2085"},{"key":"e_1_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224077"},{"key":"e_1_2_1_5_1","volume-title":"Proc. EurOpen","author":"Bricker A.","year":"1991","unstructured":"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 13- -32, May 1991. 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 13--32, May 1991."},{"key":"e_1_2_1_6_1","unstructured":"M. I. Bushnell. The HURD: Towards a New Strategy of OS Design. GNU's Bulletin.  M. I. Bushnell. The HURD: Towards a New Strategy of OS Design. GNU's Bulletin."},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.1984.234046"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/502034.502042"},{"key":"e_1_2_1_9_1","first-page":"149","volume-title":"Linux Symp.","author":"Chubb P.","year":"2004","unstructured":"P. Chubb . Get More Device Drivers Out of the Kernel! In Proc . Linux Symp. , pages 149 -- 162 , July 2004 . P. Chubb. Get More Device Drivers Out of the Kernel! In Proc. Linux Symp., pages 149--162, July 2004."},{"key":"e_1_2_1_10_1","first-page":"135","volume-title":"Proc. Usenix Tech. Conf. (Freenix Track)","author":"Clark B.","year":"2004","unstructured":"B. Clark , T. Deshane , E. Dow , S. Evanchik , M. Finlayson , J. Herne , and J. Matthews . Xen and the Art of Repeated Research . In Proc. Usenix Tech. Conf. (Freenix Track) , pages 135 -- 144 , 2004 . B. Clark, T. Deshane, E. Dow, S. Evanchik, M. Finlayson, J. Herne, and J. Matthews. Xen and the Art of Repeated Research. In Proc. Usenix Tech. Conf. (Freenix Track), pages 135--144, 2004."},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224076"},{"key":"e_1_2_1_12_1","first-page":"163","volume-title":"Proc. Second USENIX Mach Symp.","author":"Forin A.","year":"1991","unstructured":"A. Forin , D. Golub , and B. Bershad . An I\/O System for Mach 3.0 . In Proc. Second USENIX Mach Symp. , pages 163 -- 176 , 1991 . A. Forin, D. Golub, and B. Bershad. An I\/O System for Mach 3.0. In Proc. Second USENIX Mach Symp., pages 163--176, 1991."},{"key":"e_1_2_1_13_1","volume-title":"Proc. 1st Workshop on Oper. Sys. and Arch. Supp. for the on demand IT Infrastructure (OASIS-2004)","author":"Fraser K.","year":"2004","unstructured":"K. Fraser , S. Hand , I. Pratt , A. Warfield , R. Neugebauer , and M. Williamson . Safe Hardware Access with the Xen Virtual Machine Monitor . In Proc. 1st Workshop on Oper. Sys. and Arch. Supp. for the on demand IT Infrastructure (OASIS-2004) , Oct. 2004 . K. Fraser, S. Hand, I. Pratt, A. Warfield, R. Neugebauer, and M. Williamson. Safe Hardware Access with the Xen Virtual Machine Monitor. In Proc. 1st Workshop on Oper. Sys. and Arch. Supp. for the on demand IT Infrastructure (OASIS-2004), Oct. 2004."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/566726.566751"},{"key":"e_1_2_1_15_1","first-page":"73","volume-title":"Proc. 3rd Symp. on Oper. Syst. Design and Impl.","author":"Hand S. M.","year":"1999","unstructured":"S. M. Hand . Self-Paging in the Nemesis Operating System . In Proc. 3rd Symp. on Oper. Syst. Design and Impl. , pages 73 -- 86 , 1999 . S. M. Hand. Self-Paging in the Nemesis Operating System. In Proc. 3rd Symp. on Oper. Syst. Design and Impl., pages 73--86, 1999."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/319195.319226"},{"key":"e_1_2_1_17_1","unstructured":"H. H\u00e4rtig M. Hohmuth N. Feske C. Helmuth A. Lackorzynski F. Mehnert and M. Peter.  H. H\u00e4rtig M. Hohmuth N. Feske C. Helmuth A. Lackorzynski F. Mehnert and M. Peter."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/268998.266660"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(19980725)28:9%3C901::AID-SPE181%3E3.0.CO;2-7"},{"issue":"2","key":"e_1_2_1_20_1","first-page":"19","volume":"31","author":"Herder J. N.","year":"2006","unstructured":"J. N. Herder , H. Bos , B. Gras , P. Homburg , and A. S. Tanenbaum . Modular System Programming in MINIX 3. USENIX; login :, 31 ( 2 ): 19 -- 28 , Apr. 2006 . J. N. Herder, H. Bos, B. Gras, P. Homburg, and A. S. Tanenbaum. Modular System Programming in MINIX 3. USENIX; login:, 31(2):19--28, Apr. 2006.","journal-title":"Modular System Programming in MINIX 3. USENIX; login"},{"key":"e_1_2_1_21_1","first-page":"113","volume-title":"Proc. USENIX Workshop in Microkernels and Other Kernel Architectures","author":"Hildebrand D.","year":"1992","unstructured":"D. Hildebrand . An Architectural Overview of QNX . In Proc. USENIX Workshop in Microkernels and Other Kernel Architectures , pages 113 -- 126 , Apr. 1992 . D. Hildebrand. An Architectural Overview of QNX. In Proc. USENIX Workshop in Microkernels and Other Kernel Architectures, pages 113--126, Apr. 1992."},{"key":"e_1_2_1_22_1","volume-title":"Proc. 2nd ECOOP Workshop on Prog. Lang. and Oper. Sys.","author":"Hohmuth M.","year":"2005","unstructured":"M. Hohmuth and H. Tews . The VFiasco Approach for a Verified Operating System . In Proc. 2nd ECOOP Workshop on Prog. Lang. and Oper. Sys. , July 2005 . M. Hohmuth and H. Tews. The VFiasco Approach for a Verified Operating System. In Proc. 2nd ECOOP Workshop on Prog. Lang. and Oper. Sys., July 2005."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11390-005-0654-4"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133572.1133617"},{"key":"e_1_2_1_26_1","first-page":"17","volume-title":"Proc. 6th Symp. on Oper. Syst. Design and Impl.","author":"LeVasseur J.","year":"2004","unstructured":"J. LeVasseur , V. Uhlig , J. Stoess , and S. Gotz . Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines . In Proc. 6th Symp. on Oper. Syst. Design and Impl. , pages 17 -- 30 , Dec. 2004 . J. LeVasseur, V. Uhlig, J. Stoess, and S. Gotz. Unmodified Device Driver Reuse and Improved System Dependability via Virtual Machines. In Proc. 6th Symp. on Oper. Syst. Design and Impl., pages 17--30, Dec. 2004."},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/224056.224075"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.53354"},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007524"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/566172.566181"},{"key":"e_1_2_1_31_1","volume-title":"2nd Workshop on Microkernel-based Systems","author":"Pfitzmann B.","year":"2001","unstructured":"B. Pfitzmann and C. St\u00fcble . Perseus: A Quick Open-source Path to Secure Signatures . In 2nd Workshop on Microkernel-based Systems , 2001 . B. Pfitzmann and C. St\u00fcble. Perseus: A Quick Open-source Path to Secure Signatures. In 2nd Workshop on Microkernel-based Systems, 2001."},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.181.0004"},{"key":"e_1_2_1_34_1","volume-title":"General-Purpose Operating System Kernel. In 1st NICTA Workshop on Operating System Verification","author":"Shapiro J.","year":"2004","unstructured":"J. Shapiro , M. S. Doerrie , E. Northup , S. Sridhar , and M. Miller . Towards a Verified , General-Purpose Operating System Kernel. In 1st NICTA Workshop on Operating System Verification , Oct. 2004 . J. Shapiro, M. S. Doerrie, E. Northup, S. Sridhar, and M. Miller. Towards a Verified, General-Purpose Operating System Kernel. In 1st NICTA Workshop on Operating System Verification, Oct. 2004."},{"key":"e_1_2_1_35_1","first-page":"1","volume-title":"Hosted Virtual Machine Monitor. In Proc. 2001 USENIX Ann. Tech. Conf.","author":"Sugerman J.","year":"2001","unstructured":"J. Sugerman , G. Venkitachalam , and B.-H. Lim . Virtualizing I\/O Devices on V Mware Workstation's Hosted Virtual Machine Monitor. In Proc. 2001 USENIX Ann. Tech. Conf. , pages 1 -- 14 , 2001 . J. Sugerman, G. Venkitachalam, and B.-H. Lim. Virtualizing I\/O Devices on VMware Workstation's Hosted Virtual Machine Monitor. In Proc. 2001 USENIX Ann. Tech. Conf., pages 1--14, 2001."},{"key":"e_1_2_1_36_1","first-page":"1","volume-title":"Proc. 6th Symp. on Oper. Syst. Design and Impl.","author":"Swift M.","year":"2004","unstructured":"M. Swift , M. Annamalai , B. Bershad , and H. Levy . Recovering Device Drivers . In Proc. 6th Symp. on Oper. Syst. Design and Impl. , pages 1 -- 15 , 2004 . M. Swift, M. Annamalai, B. Bershad, and H. Levy. Recovering Device Drivers. In Proc. 6th Symp. on Oper. Syst. Design and Impl., pages 1--15, 2004."},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1047915.1047919"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.156"},{"key":"e_1_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/375778.375791"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/1060289.1060308"},{"key":"e_1_2_1_41_1","first-page":"93","volume-title":"Proc. 1986 Summer USENIX conference","author":"Young M.","year":"1986","unstructured":"M. Young , M. Accetta , R. Baron , W. Bolosky , D. Golub , R. Rashid , and A. Tevanian . Mach: A New Kernel Foundation for UNIX Development . In Proc. 1986 Summer USENIX conference , pages 93 -- 113 , June 1986 . M. Young, M. Accetta, R. Baron, W. Bolosky, D. Golub, R. Rashid, and A. Tevanian. Mach: A New Kernel Foundation for UNIX Development. In Proc. 1986 Summer USENIX conference, pages 93--113, June 1986."}],"container-title":["ACM SIGOPS Operating Systems Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1151374.1151391","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,28]],"date-time":"2022-12-28T21:01:55Z","timestamp":1672261315000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1151374.1151391"}},"subtitle":["a highly reliable, self-repairing operating system"],"short-title":[],"issued":{"date-parts":[[2006,7]]},"references-count":39,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,7]]}},"alternative-id":["10.1145\/1151374.1151391"],"URL":"https:\/\/doi.org\/10.1145\/1151374.1151391","relation":{},"ISSN":["0163-5980"],"issn-type":[{"value":"0163-5980","type":"print"}],"subject":[],"published":{"date-parts":[[2006,7]]},"assertion":[{"value":"2006-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}