/* remove this */ Blogger Widgets /*remove this */

Pages

Monday, March 12, 2012

MINIX Operating System

MINIX 3 is a free, open-source, operating system designed to be highly reliable, flexible, and secure. It is based on a tiny microkernel running in kernel mode with the rest of the operating system running as a collection of isolated, protected, processes in user mode.

MINIX 3 is an open-source operating that can be used as a base for research projects but also for commercial (embedded) systems where microkernel systems dominate the market. Much of the focus on the project is on achieving high reliability though fault tolerance and self-healing techniques.

MINIX is based on a small (about 10K lines of code) microkernel that runs in kernel mode. The rest of the operating system runs as a collection of server processes, each one protected by the hardware MMU. These processes include the virtual file system, one or more actual file systems, the memory manager, the process manager, the reincarnation server, and the device drivers, each one running as a separate user-mode process.

One consequence of this design is that failures of the system due to bugs or attacks are isolated. For example, a failure or takeover of the audio driver due to a bug or exploit can lead to strange sounds but cannot lead to a full takeover of the operating system. Similarly, crashes of a system component can in many cases be automatically and transparently recovered without human intervention. Few, if any, other operating systems are as self healing as MINIX 3.

Click Here to download latest version of MINIX and other documentation....


No comments :

Post a Comment

My Blog List