Coyotos
| Developer | Jonathan S. Shapiro, EROS Group, LLC |
|---|---|
| Written in | C |
| OS family | Capability-based security |
| Working state | Discontinued |
| Source model | Open-source |
| Initial release | May 12, 2005 |
| Final preview | 0.2 / June 2010 |
| Available in | English |
| Update method | Download, compile |
| Platforms | IA-32 |
| Kernel type | Microkernel |
| Default user interface | Command-line interface |
| Preceded by | GNOSIS, KeyKOS, EROS |
| Official website | www |
Coyotos is a capability-based security-focused microkernel operating system (OS) developed by The EROS Group, LLC. It is a successor to the Extremely Reliable Operating System (EROS) 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 Extremely Reliable Operating System (EROS) operating system, which in turn was derived from KeyKOS, itself coming from Great New Operating System In the Sky (GNOSIS). The primary developer of EROS was Jonathan S. Shapiro, who is also a driving force behind Coyotos and the programming language BitC. 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 to March 2010, Jonathan Shapiro was employed by Microsoft and was not working on Coyotos or BitC.
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.
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 named BitC and new compiler named BitCC.
Instead, the first formally verified OS was seL4, of the L4 microkernel family, developed by researchers from Australia's Information and Communications Technology (ICT) Research Centre of Excellence, NICTA, and the University of New South Wales.
...
Wikipedia