[MINIX 3 left logo]     MINIX 3 [MINIX 3 right logo]

   

Download MINIX 3

Testing version (3.2.0)
Stable version (3.1.8)
Previous versions
Application packages
Browse git repository
Bug Tracker

Documentation

MINIX 3 Wiki
MINIX 3 FAQ
Book about MINIX 3
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

MINIX 3 on a VM

Bochs
    - MINIX 3 on Bochs
Qemu
    - MINIX 3 on Qemu
VMware
    - MINIX 3 on VMWare
Virtual PC
    - MINIX 3 on VirtualPC
VirtualBox
    - MINIX 3 on VirtualBox

MINIX 3 Merchandise

Cafepress Merchandise Shop




WWW
www.minix3.org

Valid HTML 4.01!
 
PROGRAMMER POSITION AVAILABLE:
We are looking to hire an (embedded) systems programmer. If you are interested, click here.

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 reliability

This new OS is extremely small, with the part that runs in kernel mode under 6000 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)

Here is the MINIX 3 installation guide

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

Hardware Required

To run MINIX 3, you need a PC driven by a Pentium CPU or compatible. The standard configuration requires 16 MB of RAM. Since the distribution comes on a live CD, you can test it without allocating any hard disk space, but for a hard disk installation, 50 MB is needed as a minimum, 600 MB minimum if you want all the sources.

Current Status

The current stable version of MINIX 3 is 3.1.8. MINIX 3 is a work in progress. It is nowhere near as mature as FreeBSD or Linux right now. Ports to ARM and PowerPC are underway. Various programs and device drivers are being ported, and so on. People who would like to help develop a highly reliable operating system are more than welcome. Some projects that are needed are listed here. For more information, subscribe to the Google newsgroup.
Get Firefox
  [Vrije Universiteit]