CapROS

null

Web site: www.capros.org
Origin: USA
Category: Microkernel, Others
Desktop environment: CLI
Architecture: x86, ARM
Based on: EROS
Wikipedia:
Media: Install
The last version | Released: 1 | May 2, 2005

CapROS (Capability-based Reliable Operating System) – an experimental capability-based operating system, based on EROS, KeyKOS, and Gnosis. Ports exist for the Intel IA-32 and ARM9 architectures. CapROS is an operating system that merges some very old ideas about capabilities with some newer ideas about performance and resource management. The result is a small, secure, real-time operating system that provides orthogonal persistence.

It is a pure capability-based system that features automatic persistence of data and processes, even across system reboots. Capability systems naturally support the principle of least authority, which improves security and fault tolerance.

The CapROS project is led by Charles Landau. It was under developed by Strawberry Development Group with funding from DARPA and others.

Download

CapROS source archive 43.7MB.tgz
md5sum: d27038d2b461eb7c772a60fb261cd0a8

 

Coyotos

null

Web site: www.coyotos.org (not active)
Origin: USA
Category: microkernel
Desktop environment: CLI
Architecture: x86
Based on: Independent
Wikipedia (FR): Coyotos
Media: Install
The last version | Released: ? | 2010

Coyotos – a secure, microkernel-based operating system that builds on the ideas and experiences of the EROS project, that itself is the successor of KeyKOS, itself coming from GNOSIS (Great New Operating System In the Sky). Much of the code developed for EROS will migrate directly to Coyotos. The EROS system that was created at the University of Pennsylvania and Johns Hopkins University.

Coyotos will be written in BitCee. BitC is a SystemProgramming language that combines the “low-level” nature of C with the semantic rigor of Scheme or ML. BitC was designed by careful selection and exclusion of language features in order to support proving properties (up to and including total correctness) of critical systems programs.

The Coyotos project has several objectives:
– Correct some of the shortcomings of the earlier EROS design.
– Demonstrate that an atomic kernel design scales up as well as down. We are planning to bring up versions of Coyotos on large-scale multiprocessors.
– Provide an efficient linux compatibility environment for use as a transitional runtime system, so that we can explore adapting applications to a more secure API foundation.
– (Eventually) Construct the kernel and key utilities in a new systems programming language (BitC) with a well-defined, mechanically-specified semantics. This will allow us to formally verify security and correctness properties of the system and its key utilities.
– Develop the proving technology necessary to do useful verification about a project of this sort.

The primary developer of EROS was Jonathan S. Shapiro, who is also a driving force behind Coyotos and the BitC programming language.
Since March 2010, the main development effort has been on the BitC language being designed for use in Coyotos: as of April 2016, the last change to Coyotos was in June 2010.

Download

No download is available.
md5sum:

 

Amoeba

null

Web site: www.cs.vu.nl/pub/amoeba/
Origin: Netherlands
Category: Desktop
Desktop environment: CLI
Architecture: x86, MIPS, Motorola 68030, NS 32016, SUN 3/50 & 3/60, SPARC, VAX
Based on: Independent
Wikipedia: Amoeba_(operating_system)
Media: Install
The last version | Released: 5.3 | July 30, 1996

Amoeba – a fully functional operating system with shared time by Andrew S. Tannenbaum from Vrije University. The Amoeba distribution includes the source code, binaries and kernels for all supported architectures plus full on-line and Postscript versions of the documentation.

Amoeba is a powerful microkernel-based system that turns a collection of workstations or single-board computers into a transparent distributed system. It has been in use in academia, industry, and government for about 5 years. It runs on the SPARC (Sun4c and Sun4m), the 386/486, 68030, and Sun 3/50 and Sun 3/60.

Amoeba is a general-purpose distributed operating system. It is designed to take a collection of machines and make them act together as a single integrated system. In general, users are not aware of the number and location of the processors that run their commands, nor of the number and location of the file servers that store their files. To the casual user, an Amoeba system looks like a single old-fashioned time-sharing system.

Amoeba is an ongoing research project. It should be thought of as a platform for doing research and development in distributed and parallel systems, languages, protocols and applications. Although it provides some UNIX emulation, and has a definite UNIX-like flavor (including over 100 UNIX-like utilities), it is NOT a plug-compatible replacement for UNIX. It should be of interest to educators and researchers who want the source code of a distributed operating system to inspect and tinker with, as well as to those who need a base to run distributed and parallel applications. Amoeba is intended for both ‘‘distributed’’ computing (multiple independent users working on different projects) and ‘‘parallel’’ computing (e.g., one user using 50 CPUs to play chess in parallel). Amoeba provides the necessary mechanism for doing both distributed and parallel applications, but the policy is entirely determined by user-level programs. For example, both a traditional (i.e. sequential) ‘make’ and a new parallel ‘amake’ are supplied.

 

300

A few days ago the ArchiveOS.org data base reached the number of 300 operating systems.

The biggest category of the operating systems in our data base is still Linux, but other categories such as *BSD, DOS, Solaris and independent still having new entries.

Anyway, if you have an interesting, old or out of date operating system, or you know a hosting server where it can be downloaded – let me know , please so I will add it to the ArchiveOS.org base soon.

If you like the job is already done, and would like to support it – simply send a tip via PayPal.

 

200

The ArchiveOS.org data base grows up systematically in the last few months time, and got the number of 200 operating systems now.

The biggest category which features the biggest number of open-source and free operating systems is Linux by now. But it doesn’t mean that I don’t search the web looking for *BSD, DOS, Solaris and others, independent operating systems. I do, and I will be doing it as long as I could.

Anyway, if you have an interesting, old or out of date operating system, or you know a hosting server where it can be downloaded – let me know , please so I will add it to the ArchiveOS.org base soon.

 

100

 

The ArchiveOS.org data base features one hundred of Linux/BSD/DOS/Haiku/others distributions/operating systems stored by now.

The 100’s distribution has been added: Ubuntu, which is still under active development.
I added a post about Ubuntu and the first ever stable iso image of Ubuntu 4.10 Warty Warthog to be saved at ArchiveOS.org and can be download from our project server.

Hop you like it and share the project with your friends.

Don’t forget to send a small tip to keep ArchiveOS.org alive.