Coyotos
From Wikipedia, the free encyclopedia
 |
This article or section contains information about scheduled or expected future software. Information about it may change as the software release approaches and more information becomes available. |
 |
Coyotos is a capability-based security-focused microkernel operating system being 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.
[edit] 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". Since mid-2006 the Coyotos developers have been working with the developers of GNU Hurd to make Coyotos a suitable microkernel for GNU Hurd. However, progress is slow.
In April 2009, Jonathan Shapiro announced that "Active work on Coyotos stopped several months ago, and is unlikely to resume. I am debating whether to re-license it under BSD, but other than that, I have no current plans to continue the Coyotos work."[3]
[edit] Objectives
While it has many objectives, one of the most interesting is to become the first formally verified operating system. To support this, the Coyotos project is concurrently developing a new programming language called BitC and a new compiler called BitCC.
[edit] Microkernel
Coyotos uses a microkernel design which “retains the atomicity and pure capability-based design of the EROS system”[4], but which “introduces a more efficient memory mapping mechanism”. Compare this with the Mach and L4 family of microkernels.
[edit] References
[edit] External links
|
|||||||||||||||||
 |
This operating system-related article is a stub. You can help Wikipedia by expanding it |
