Minix - Operating System by Andrew S. Tanenbaum

  •        0

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.



Related Projects

Nachos - Instructional Operating System

Nachos is instructional software for teaching undergraduate, and potentially graduate, level operating systems courses. The assignments illustrate and explore all areas of modern operating systems, including threads and concurrency, multiprogramming, system calls, virtual memory, software-loaded TLB's, file systems, network protocols, remote procedure call, and distributed systems.

RancherOS - Tiny Linux distro that runs the entire OS as Docker containers

RancherOS is a minimalist Linux distribution perfect for running Docker containers. It runs Docker directly on top of the kernel and delivers Linux services as containers. It includes only the services needed to run Docker. RancherOS reduces the hassle with updating, patching, and maintaining your container host operating system.

Chakra - Desktop OS

Chakra is a free, user-friendly and extremely powerful liveCD distribution based on the KDE Software Compilation. Chakra is by default a GTk free distribution specially made for run Qt based applications and frameworks at full performance. Its goal is to build an operating system that meets most requirements desktop users have today,

Distro Astro - Linux Distribution for Astronomers

Distro Astro has features for almost all astronomy use—from observatories, planetariums, and professional researchers, to astrophotographers and amateur enthusiasts. The INDI Library built into Distro Astro provides telescope control for the most common telescopes from Meade, Celestron, Orion, and other major telescope brands. Nightshade is an advanced planetarium software for fish-eye dome projections developed by planetarium provider Digitalis Education.

Debian - The Universal Operating System

Debian is a free operating system (OS) for your computer. An operating system is the set of basic programs and utilities that make your computer run. Debian provides more than a pure OS: it comes with over 29000 packages, precompiled software bundled up in a nice format for easy installation on your machine.

Tails - Live Operating System supports Privacy and Anonymity

Tails is a live operating system, that you can start on almost any computer from a DVD, USB stick, or SD card. It aims at preserving your privacy and anonymity, and helps you to use the Internet anonymously and circumvent censorship. All connections to the Internet are forced to go through the Tor network. It leaves no trace on the computer you are using unless you ask it explicitly. It uses cryptographic tools to encrypt your files, emails and instant messaging.

Xinu - Xinu Is Not Unix

XINU stands for Xinu Is Not Unix -- although it shares concepts and even names with Unix, the internal design differs completely. Xinu is a small, elegant operating system that supports dynamic process creation, dynamic memory allocation, network communication, local and remote file systems, a shell, and device-independent I/O functions. The small size makes Xinu suitable for embedded environments.

Devil Linux - Linux for Sys Admin

Devil-Linux is a CD-based Linux distribution for firewalls and routers. The goal of Devil-Linux is to have a small, customizable and secure Linux. It could boot from CDROM or USB flash drive. Its main purpose is to be used as server for many applications. It doesn't have any GUI or XServer related stuff. It is mainly targeted for Sys Admin.

deepin - Elegant Linux Distribution based on Debian

deepin is a Debian-based distribution that aims to provide an elegant, user-friendly and reliable operating system. It has created its own desktop environment called DDE or Deepin Desktop Environment which is based on the Qt 5 toolkit. Deepin focuses much of its attention on intuitive design. Its home-grown applications, like Deepin Software Centre, DMusic and DPlayer are tailored to the average user. deepin can be a good Windows alternative for office and home use.

Vinux - Linux for Visually Impaired Users

Vinux is a remastered version of the Ubuntu Linux Distribution optimised for visually impaired users. It provides a screen-reader, full-screen magnification and support for Braille displays out of the box! It can be run from a Live CD without making any changes to your hard drive. If you like it you can install it to a USB pendrive or to your hard drive either alongside Windows using the Virtual Version, or as a complete replacement for windows.


Sophia is an operating system kernel which aims at being simple to understand and that nonetheless covers concepts and functionalities of modernal OSes. The OS code is inspired by Linux, BSD, Minix, SOS, etc...

SImple Microkernel Distributed OS

SIMDOS stands for SImple Microkernel Distributed Operating System. SIMDOS is a micro-kernel based operating system which implements the concepts of Distributed Shared Memory at the kernel level to provide seemless addition on cluster nodes.

CoreOS- Linux for Massive Server Deployments

CoreOS is just Linux kernel + systemd. This is not for desktop PCs or Laptops or Tablets. It is meant to run the hundreds of thousands of servers. It is based on Google Chrome, that automatically updates itself every few weeks. It supports built in service discovery and configuration sharing using the Raft distributed consensus algorithm. CoreOS is made for companies building platforms.

minix - Alterations to the minix kernel for CSC246 Operating Systems

Alterations to the minix kernel for CSC246 Operating Systems

Genode - Operating System Framework

The Genode operating-system framework provides a uniform API for applications on top of 8 existing microkernels/hypervisors: Linux, L4ka::Pistachio, L4/Fiasco, OKL4, NOVA, Fiasco.OC, Codezero, and a custom kernel for ARM SoCs. For developers, the framework provides an easy way to target multiple different kernels instead of tying the development to a particular kernel technology.

Pro-OS, a OS model for the ProX kernel

A operating system built on the ProX micro-kernel. Currently this model is for the intel x86 processors.

Prex Embedded Real-time OS

Prex is a portable real-time operating system for embedded systems. The small, reliable and low power kernel is written in C language based on micro kernel design. File system, UNIX process and networking features are provided by user mode tasks.

uCLinux - Embedded Linux

The original uClinux (you-see-linux) was a derivative of Linux 2.0 kernel intended for microcontrollers without Memory Management Units (MMUs). However, the Linux/Microcontroller Project has grown both in brand recognition and coverage of processor architectures. Today's uClinux as an operating system includes Linux kernel releases for 2.0 2.4 and 2.6 as well as a collection of user applications, libraries and tool chains. uClinux is mostly used in Embedded and Gaming device.

openSUSE - Linux for Open Minds

The openSUSE project creates one of the world's best Linux distributions, working together in an open, transparent and friendly manner as part of the worldwide Free and Open Source Software community. It is aimed towards users and developers working on the desktop or server. It is great for beginners, experienced users and ultra geeks alike, in short, it is perfect for everybody. It comes with more than 1,000 open source applications.

Joli OS - Cloud Operating System

Joli OS is a full OS replacement for old PC, turning your aging computer into a next generation cloud device. It is designed around the Jolidrive HTML5 interface. It comes with more than 1500 apps. It is designed for the cloud but works great offline too.