Download MINIX 3
Current stable version (3.1.2)Experimental version (3.1.3)
Previous versions
Application packages
Source code and SVN
Browse SVN repository
Bug Tracker
Documentation
FAQ (in many languages)Book about MINIX 3
MINIX 3 Wiki you can edit
Manual pages
More Documents
License
Screen shots
MINIX 3 Community
How can I help?Who is working on what?
Other MINIX Websites
Newsgroup
Report a bug
(create a gforge account to report a bug)
MINIX 3 on a Simulator
BochsQemu
VMware
MINIX 3 on VMWare
Virtual PC
What Is MINIX 3?
MINIX 3 is a new open-source operating system designed to be highly reliable, flexible, and secure. It is loosely based somewhat on previous versions of MINIX, but is fundamentally different in many key ways. MINIX 1 and 2 were intended as teaching tools; MINIX 3 adds the new goal of being usable as a serious system on resource-limited and embedded computers and for applications requiring high reliabilityThis new OS is extremely small, with the part that runs in kernel mode under 4000 lines of executable code. The parts that run in user mode are divided into small modules, well insulated from one another. For example, each device driver runs as a separate user-mode process so a bug in a driver (by far the biggest source of bugs in any operating system), cannot bring down the entire OS. In fact, most of the time when a driver crashes it is automatically replaced without requiring any user intervention, without requiring rebooting, and without affecting running programs. These features, the tiny amount of kernel code, and other aspects greatly enhance system reliability.
MINIX 3 is initially targeted at the following areas:
Applications where very high reliability is required Single-chip, small-RAM, low-power, $100 laptops for Third-World children Embedded systems (e.g., cameras, DVD recorders, cell phones) Applications where the GPL is too restrictive (MINIX 3 uses a BSD-type license) Education (e.g., operating systems courses at universities)
MINIX 3 Features
POSIX compliant Networking with TCP/IP X Window System Languages: cc, gcc, g++, perl, python, etc. Over 650 UNIX programs
Many improvements since V2 Full multiuser and multiprogramming Device drivers run as user processes High degree of fault tolerance Full C source code supplied
MINIX 3 ![[MINIX 3 right logo]](http://mowser.com/img?url=http%3A%2F%2Fwww.minix3.org%2Flogo.gif)

![[Vrije Universiteit]](http://mowser.com/img?url=http%3A%2F%2Fwww.minix3.org%2Fpdcs.jpg)