Coyotos is a capability-based security-focused microkernel operating system developed by The EROS Group, LLC. It is a successor to the EROS system that was created at the University of Pennsylvania and Johns Hopkins University.
Coyotos is considered by its creators to be an “evolutionary step” 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.
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.
Coyotos has a microkernel design which “retains the atomicity and pure capability-based design of the EROS system”, but which “introduces a more efficient memory mapping mechanism”.
- The EROS Group, LLC
- Differences Between Coyotos and EROS — A Quick Summary- May 12, 2005 Jonathan Shapiro, Ph.D.
- Coyotos Microkernel Specification - Version 0.6+ September 10, 2007 Jonathan S. Shapiro, Ph.D.
|This operating system–related article is a stub. You can help Wikipedia by expanding it.|