Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.610.685 Times

MINIX 3.1.3a

  Date Added: August 03, 2010  |  Visits: 751

MINIX

Report Broken Link
Printer Friendly Version


Product Homepage
Download (76 downloads)



MINIX 3 is a new open-source operating system designed to be highly reliable and secure. This project is 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 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 laptop 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 is a new UNIX clone that is flexible, secure, and self-healing leading to high reliability, even in the presence of software faults.

Requirements: No special requirements
Platforms: Linux
Keyword: Designed Linux Distributions Mb Minix New Operating Operating System Reliable System
Users rating: 0/10

License: Freeware Size: 445.3 MB
USER REVIEWS
More Reviews or Write Review


MINIX RELATED
Utilities  -  Black Orion Enterprise Linux Desktop 4.3
Black Orion Network is an update and system management platform for among others Black Orions redhat-compatible Enterprise Linux Distributions. Black Orion Enterprise Linux software distributions are offered to you by the open source community as...
168 MB  
Utilities  -  ALT Linux 4.0.1(Server)
ALT Linux project is a set of Linux distributions that are based on Sisyphus, an APT-enabled RPM package repository that aims to achieve feature completeness, usability, and security in a sensible and manageable mixture. Whats New in This...
605.3 MB  
Utilities  -  Slackware 12.0
Slackware Linux is a complete 32-bit multitasking "UNIX-like" system.i Its currently based around the 2.4 Linux kernel series and the GNU C Library version 2.3.2 (libc6). Slackware contains an easy to use installation program, extensive online...
 
Utilities  -  Colonist 0.9.7
Colonist is a meta-distribution that exploits existing live CD Linux distributions by adapting them to the coLinux platform. Due to their optimized structure and package selections, live CD Linux distributions are very convenient to fulfill the...
512 KB  
Utilities  -  Chrome OS 1.3.767 RC
Chrome OS Linux is a brand new free operating system built around the revolutionary Google Chrome browser. The aim of this project is to provide a lightweight Linux distribution for the best web browsing experience. Featured...
631 MB  
Networking Tools  -  Euronode 0.2 RC1
Euronode is a set of Debian GNU / Linux distributions, which transforms in a few minutes a simple computer into a high performance server or firewall installed and configured ! Built on the basis of Debian GNU / Linux Woody Release 2, Euronode...
80 MB  
Utilities  -  StrongBox Linux 1.0 beta14
StrongBox is a next generation Linux-based operating system, incorporating tight version control, digital signatures, high security and built-in change management. StrongBox represents a shift in the Linux paradigm. Moving away from monolithic...
465 MB  
Utilities  -  VectorLinux 5.8 / 5.8.6 RC1(SOHO)
Vector Linux is a small, fast, Linux operating system for Intel, AMD and x86 compatible systems, based on one of the original Linux distributions, Slackware. The enormously popular Slackware is the true Unix of Linux distributions and is used by...
669 MB  
Utilities  -  VectorLinux 5.8 SOHO Live
Vector Linux is a small, fast, Linux operating system for Intel, AMD and x86 compatible systems, based on one of the original Linux distributions, Slackware. The Vector development team is proud to announce SOHO 5.1.2-live. We started with SOHO...
692 MB  
Utilities  -  rPath Linux 1.0.6
rPath Linux is a freely-available Linux operating system distribution, built with the Conary distributed software management system, supported and maintained by rPath, Inc. The rPath Linux distribution contains high-quality, up-to-date software,...
 
NEW DOWNLOADS IN LINUX SOFTWARE, UTILITIES
Linux Software  -  Polling Autodialer Software 3.4
ICTBroadcast Auto Dialer software has a survey campaign for telephone surveys and polls. This auto dialer software automatically dials a list of numbers and asks them a set of questions that they can respond to, by using their telephone keypad....
488 B  
Linux Software  -  Total Video Converter Mac Free 3.5.5
Total Video Converter Mac Free developed by EffectMatrix Ltd is the official legal version of Total Video Converter which was a globally recognized brand since 2006. Total Video Converter Mac Free is a free but powerful all-in-one video...
17.7 MB  
Linux Software  -  Skeith mod_log_sql Analyzer 2.10beta2
Skeith is a php based front end for analyzing logs for Apache using mod_log_sql.
47.5 KB  
Linux Software  -  SLAX 6.0+
Slax is a modern, portable, small and fast Linux operating system with a modular approach and outstanding design. Despite its small size, Slax provides a wide collection of pre-installed software for daily use, including a well organized graphical...
190 KB  
Linux Software  -  GTK+ 2.5
GTK+, which stands for the GIMP Toolkit, is a library for creating graphical user interfaces for the X Window System. It is designed to be small, efficient, and flexible. GTK+ is written in C with a very object-oriented approach. Language bindings...
60 MB  
Utilities  -  LPAR2RRD 4.95-4
LPAR2RRD collects performance data and generates actual, historical and future trends utilization graphs of your virtual environment. It is agentless (it receives everything from the management stations like vCenter or HMC). The product supports...
2.25 MB  
Utilities  -  Nessconnect 1.0.2
Nessconnect is a GUI, CLI and API client for Nessus and Nessus compatible servers. With an improved user interface, it provides local session management, scan templates, report generation through XSLT, charts and graphs, and vulnerability trending.
819.2 KB  
Utilities  -  Dynamic Power Management 2.6.16
The Dynamic Power Management (DPM) project explores technologies to improve power conservation capabilities of platforms based on open source software. Of particular interest are techniques applicable to running systems, adjusting power parameters...
30.72 KB  
Utilities  -  Ethernet bridge tables 2.4.37.9
Ethernet bridge tables - Linux Ethernet filter for the Linux bridge. The 2.4-ebtables-brnf package contains the ebtables+bridge-nf patch. Be sure to check out the ebtables hp. This site also contains the arptables userspace tool.
40.96 KB  
Utilities  -  SaraB 1.0.0
SaraB works with DAR (Disk ARchive) to schedule and rotate backups on random-access media (i.e. hard drives, CDs, DVDs, Zip, etc. Basically anything except magnetic tapes.) This reduces hassle for the administrator by providing an automatic backup...
20.48 KB