Minix - Operating System by Andrew S. Tanenbaum

  •        1257

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.

http://www.minix3.org/

Tags
Implementation
License
Platform

   




Related Projects

Nachos - Instructional Operating System

  •    C

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

  •    Go

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

  •    C

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

  •    C

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

  •    C

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

  •    C

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.

raspberry-pi-os - Learning operating system development using Linux kernel and Raspberry Pi

  •    C

This repository contains a step-by-step guide that teaches how to create a simple operating system (OS) kernel from scratch. I call this OS Raspberry Pi OS or just RPi OS. The RPi OS source code is largely based on Linux kernel, but the OS has very limited functionality and supports only Raspberry PI 3. Each lesson is designed in such a way that it first explains how some kernel feature is implemented in the RPi OS, and then it tries to demonstrate how the same functionality works in the Linux kernel. Each lesson has a corresponding folder in the src directory, which contains a snapshot of the OS source code at the time when the lesson had just been completed. This allows the introduction of new concepts gracefully and helps readers to follow the evolution of the RPi OS. Understanding this guide doesn't require any specific OS development skills.

CoreOS- Linux for Massive Server Deployments

  •    Go

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.

Sailfish OS - Mobile Operating System

  •    C++

Sailfish OS is a mobile operating system built on top of Mer project and Qt5. The UI is built with QML and QtQuick2 and Wayland. It is compatible with Android.

Xinu - Xinu Is Not Unix

  •    C

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

  •    C

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.

redox - Redox: A Rust Operating System

  •    Shell

Redox is an operating system written in Rust, a language with focus on safety and high performance. Redox, following the microkernel design, aims to be secure, usable, and free. Redox is inspired by previous kernels and operating systems, such as SeL4, MINIX, Plan 9, and BSD. Redox is not just a kernel, it's a full-featured Operating System, providing packages (memory allocator, file system, display manager, core utilities, etc.) that together make up a functional and convenient operating system. You can loosely think of it as the GNU or BSD ecosystem, but in a memory safe language and with modern technology. See this list for overview of the ecosystem.

deepin - Elegant Linux Distribution based on Debian

  •    C

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

  •    C

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.

anarchy-linux - Anarchy Linux - An Arch Based Distro

  •    Shell

A distribution aimed at bringing the Linux revolution to the world. Anarchy, quick, easy, and straight forward, "Keep it simple stupid". Anarchy Linux is an Arch-based distro providing a hassle-free pure installation and polished user experience. Bundled with the Anarchy ISO is a dialog installer that enables you to install from the CLI in semi graphical install mode. Simply boot up and type anarchy to invoke the installer script. Every aspect of the install is taken into account from partitioning and general system configuration, to installing your favorite DE/WM and additional software from the official Arch Linux repos.

SImple Microkernel Distributed OS

  •    C

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.

Genode - Operating System Framework

  •    C

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

  •    C

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

Prex Embedded Real-time OS

  •    C

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

  •    C

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.