Lessons learned from 30 years of MINIX
- 25 February 2016
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 59 (3), 70-78
- https://doi.org/10.1145/2795228
Abstract
MINIX shows even an operating system can be made to be self-healing.Keywords
This publication has 10 references indexed in Scilit:
- Safe and automatic live update for operating systemsPublished by Association for Computing Machinery (ACM) ,2013
- Loris - A Dependable, Modular File-Based Storage StackPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2010
- seL4Published by Association for Computing Machinery (ACM) ,2009
- Can We Make Operating Systems Reliable and Secure?Computer, 2006
- On micro-kernel constructionPublished by Association for Computing Machinery (ACM) ,1995
- Improving IPC by kernel designPublished by Association for Computing Machinery (ACM) ,1993
- The V Kernel: A Software Base for Distributed SystemsIEEE Software, 1984
- A practical tool kit for making portable compilersCommunications of the ACM, 1983
- The protection of information in computer systemsProceedings of the IEEE, 1975
- The nucleus of a multiprogramming systemCommunications of the ACM, 1970