https://wiki.minix3.org/ 2026-04-16T05:53:58+0200 https://wiki.minix3.org/ https://wiki.minix3.org/lib/tpl/minix3d/images/favicon.ico text/html 2014-11-19T17:53:52+0200 Anonymous (anonymous@undisclosed.example.com) https://wiki.minix3.org/doku.php?id=www:documentation:brown&rev=1416416032&do=diff Background The history of UNIX and its various children and grandchildren has been in the news recently as a result of a book from the Alexis de Tocqueville Institution. Since I was involved in part of this history, I feel I have an obligation to set the record straight and correct some extremely serious errors. But first some background information. text/html 2015-07-19T14:17:48+0200 Anonymous (anonymous@undisclosed.example.com) https://wiki.minix3.org/doku.php?id=www:documentation:features&rev=1437308268&do=diff Here are some of the more interesting features of MINIX 3. General Characteristics * POSIX-compliant operating system with a NetBSD userland * Open source, with a BSD license * Runs on x86 PCs and well as x86 virtual machines (VMware, etc.) * text/html 2014-11-19T18:02:03+0200 Anonymous (anonymous@undisclosed.example.com) https://wiki.minix3.org/doku.php?id=www:documentation:followup&rev=1416416523&do=diff Background On 20 May 2004, I posted a statement refuting the claim of Ken Brown, President of the Alexis de Tocqueville Institution, that Linus Torvalds didn't write Linux. My statement was mentioned on Slashdot, Groklaw, and many other Internet news sites. This attention resulted in over 150,000 requests to our server in less than a day, which is still standing despite yesterday being a national holiday with no one there to stand next to it saying text/html 2014-11-19T18:04:39+0200 Anonymous (anonymous@undisclosed.example.com) https://wiki.minix3.org/doku.php?id=www:documentation:improvements&rev=1416416679&do=diff MINIX 3 has many improvements over MINIX 2, too many to list. We will just list a few of them here. New Features * Installation (based on a live CD) is much simpler * X Window System * Memory sizes up to 4 GB are supported * Disk blocks can be 1-, 2-, 4-, or 8-KB text/html 2014-11-19T17:37:22+0200 Anonymous (anonymous@undisclosed.example.com) https://wiki.minix3.org/doku.php?id=www:documentation:license&rev=1416415042&do=diff License Copyright (c) 1987,1997, 2006, Vrije Universiteit, Amsterdam, The Netherlands All rights reserved. Redistribution and use of the MINIX 3 operating system in source and binary forms, with or without modification, are permitted provided that the following conditions are met: text/html 2014-11-25T13:45:15+0200 Anonymous (anonymous@undisclosed.example.com) https://wiki.minix3.org/doku.php?id=www:documentation:pdcs&rev=1416919515&do=diff Experimental computer science - New solutions for secure, globally distributed systems As the internet develops, it has come to include cloud computing centres, smartphones, RFID tags and sensor networks. This connected world brings new opportunities to science and business, but also new challenges to privacy and security. You will study entirely new software architectures and large-scale, geographically distributed systems which can serve billions of users. Scalability, performance, security a… text/html 2018-07-16T01:11:48+0200 Anonymous (anonymous@undisclosed.example.com) https://wiki.minix3.org/doku.php?id=www:documentation:privacystatement&rev=1531696308&do=diff Privacy Statement This Website does not collect or store any personal information of any kind about anyone. Google Analytics, using the anonymization option is used to gather statistics about the different sections of the website. text/html 2014-11-19T17:33:31+0200 Anonymous (anonymous@undisclosed.example.com) https://wiki.minix3.org/doku.php?id=www:documentation:read-more&rev=1416414811&do=diff What is MINIX 3? MINIX 3 is a free open-source operating system that can be used for studying operating systems, as a base for research projects, or for commercial (embedded) systems where microkernel systems dominate the market. Much of the focus on the project is on achieving text/html 2014-11-19T17:12:06+0200 Anonymous (anonymous@undisclosed.example.com) https://wiki.minix3.org/doku.php?id=www:documentation:reliability&rev=1416413526&do=diff Reliability in MINIX 3 One of the main goals of MINIX 3 is reliability. Below we discuss some of the more important principles that enhance MINIX 3's reliability. These principles also enhance security, since most security flaws are due to attackers exploiting bugs in the code, so greater reliability will also improve security. Some of the ideas discussed are in the current release, but a few are scheduled for the next release. As this is a research project, we often make changes as we think of… text/html 2014-11-25T14:12:43+0200 Anonymous (anonymous@undisclosed.example.com) https://wiki.minix3.org/doku.php?id=www:documentation:research&rev=1416921163&do=diff Research MINIX 3 can be used as the base for (Ph.D.) research in operating systems, especially reliable, secure, or fault-tolerant operating systems. At the VU we have done so extensively. Here are some of the projects that have been carried out. Automatic Recovery from Fatal System Errors text/html 2021-07-10T15:06:25+0200 Anonymous (anonymous@undisclosed.example.com) https://wiki.minix3.org/doku.php?id=www:documentation:resources&rev=1625922385&do=diff Resources If you are new to MINIX 3, welcome! Here are some resources to get you up to speed quickly. The items in the menu bar above also contain useful information. Read * If you are new to UNIX, try one of these tutorials: 1 2 3 4 5 * Getting started (overview) * Getting started (detailed instructions) * text/html 2014-11-19T16:01:38+0200 Anonymous (anonymous@undisclosed.example.com) https://wiki.minix3.org/doku.php?id=www:documentation:screenies&rev=1416409298&do=diff Screenshots These screenshots were made on a Samsung 244T 1920×1200 monitor and are reduced here. Screenshot 01 Screenshot 02 Screenshot 03 Screenshot 04 Screenshot 05 Screenshot 06 Screenshot 07 Screenshot 08 Screenshot 09 text/html 2014-11-19T17:34:41+0200 Anonymous (anonymous@undisclosed.example.com) https://wiki.minix3.org/doku.php?id=www:documentation:source&rev=1416414881&do=diff Source Code Availability The full MINIX 3 source code is included on the CD-ROM image file, but if you want to inspect it while running a different operating system, you can browse our git repository. text/html 2018-07-16T01:13:30+0200 Anonymous (anonymous@undisclosed.example.com) https://wiki.minix3.org/doku.php?id=www:documentation:start&rev=1531696410&do=diff Documentation Book The main documentation for MINIX 3 is the book Operating Systems: Design and Implementation 3/e by Andrew S. Tanenbaum and Albert S. Woodhull, Prentice Hall, 2006. The image at the right is a link to the book at amazon.com. This book discusses operating systems in general, and MINIX 3 in particular. A large piece of the source code is listed in Appendix B and is described in detail in the text. The listing is available in various formats. The files, functions, and #defines…