Coyotos

Coyotos is a capability-based security-focused microkernel operating system developed by The EROS Group, LLC.^[1] It is a successor to the EROS system that was created at the University of Pennsylvania and Johns Hopkins University.

History

Coyotos is considered by its creators to be an “evolutionary step”^[2] beyond the EROS operating system, which in turn was derived from KeyKOS, itself coming from GNOSIS (Great New Operating System In the Sky). The primary developer of EROS was Jonathan S. Shapiro, who is also a driving force behind Coyotos and the BitC programming language. A more in-depth history is located at History:"The Path to Coyotos". In 2006 the Coyotos developers worked with the developers of GNU Hurd to make Coyotos a suitable microkernel for GNU Hurd. However, the Hurd project returned to the Mach microkernel instead.

From April 2009^[3] to March 2010^[4], Jonathan Shapiro was employed by Microsoft^[5] and was not working on Coyotos or BitC.

Status

Since March 2010, the main development effort has been^[6] on the BitC language being designed for use in Coyotos: as of March 2011, the last change^[7] to Coyotos was in June 2010.^[8]

Objectives

One of the Coyotos project's many objectives was to become the first formally verified operating system. To support this, the project contributed to developing a new programming language called BitC and a new compiler called BitCC.

This title now belongs to seL4, an L4-family microkernel developed by researchers from NICTA and the University of New South Wales.

Microkernel

Coyotos has a microkernel design which “retains the atomicity and pure capability-based design of the EROS system”,^[9] but which “introduces a more efficient memory mapping mechanism”.

References

1. ^ The EROS Group, LLC
2. ^ Differences Between Coyotos and EROS — A Quick Summary- May 12, 2005 Jonathan Shapiro, Ph.D.
3. ^ http://www.coyotos.org/pipermail/bitc-dev/2009-April/001791.html
4. ^ http://www.coyotos.org/pipermail/bitc-dev/2010-March/001809.html
5. ^ http://www.coyotos.org/pipermail/bitc-dev/2009-April/001784.html
6. ^ http://www.coyotos.org/pipermail/coyotos-dev/2010-April/001880.html
7. ^ http://dev.eros-os.com/hg/coyotos/trunk/log/tip
8. ^ http://dev.eros-os.com/hg/coyotos/trunk/log/eec49128e266
9. ^ Coyotos Microkernel Specification - Version 0.6+ September 10, 2007 Jonathan S. Shapiro, Ph.D.

External links

• Coyotos web page
• EROS web page
• KeyKOS web page
• Jonathan Shapiro's web page
• BitC web page

This operating system-related article is a stub. You can help Wikipedia by expanding it.v · Categories: Operating system stubs Microkernels Capability systems Wikimedia Foundation. 2010. Игры ⚽ Поможем сделать НИР Peace River Block Forever (Puff Daddy album) Look at other dictionaries: Coyotos — est un système d exploitation à micronoyau sécurisé, actuellement développé à partir de l expérience et des idées du projet Éros. Il est réalisé en collaboration par le laboratoire de recherche de l université Johns Hopkins et la startup The Éros …   Wikipédia en Français EROS (microkernel) — EROS (The Extremely Reliable Operating System) is an operating system developed by The EROS Group, LLC., the Johns Hopkins University, and the University of Pennsylvania. Interesting features include automatic data and process persistence, some… …   Wikipedia BitC — Infobox Software name = BitC author = Jonathan S. Shapiro, Swaroop Sridhar, and M. Scott Doerrie developer = Johns Hopkins University, [http://www.eros os.com The EROS Group, LLC] released = latest release version = BitCC 0.9.1 latest release… …   Wikipedia GNU Hurd — Hurd redirects here. For other uses, see Hurd (disambiguation). GNU Hurd HURD Live CD Company&# …   Wikipedia L4 (micronúcleo) — L4 es una familia de micronúcleos de segunda generación basada en los diseños e implementaciones originales del informático alemán Jochen Liedtke. Originalmente implementada en código ensamblador altamente afinado para procesadores Intel i386, la …   Wikipedia Español Trusted computing base — The trusted computing base (TCB) of a computer system is the set of all hardware, firmware, and/or software components that are critical to its security, in the sense that bugs occurring inside the TCB might jeopardize the security properties of… …   Wikipedia List of operating systems — Operating systems can be categorized by technology, ownership, licensing, working state, usage, and by many other characteristics. In practice, many of these groupings may overlap.Early, and historically important*CTSS (The Compatible Timeshare… …   Wikipedia Tanenbaum-Torvalds debate — The Tanenbaum Torvalds debate is a debate between Andrew S. Tanenbaum and Linus Torvalds, regarding Linux and kernel architecture in general. Tanenbaum began the debate in 1992 on the Usenet discussion group [news:///comp.os.minix comp.os.minix] …   Wikipedia Object-capability model — The object capability model is a computer security model based on the Actor model of computation. The name object capability model is due to the idea that the capability to perform an operation can be obtained by the following combination: an… …   Wikipedia GNU — Die unter GNU verwendete Desktop Umgebung GN …   Deutsch Wikipedia 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”