The Coyotos Secure Operating System
Coyotos is a secure, microkernel-based operating system that builds on the ideas and experiences of the EROS project. Much of the code developed for EROS will migrate directly to Coyotos.
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.
Coyotos is being developed on AMD-64 and Pentium platforms. A port is also underway to recent Coldfire processors. Once we have a baseline kernel working, we would welcome help getting it running on PowerPC and ARM processors as well.
It is far too early to speculate about release dates.
At present, the main mailing list for the coyotos project is coyotos-dev. This list is intended primarily for developers and architects. When a release exists, we will add a user-oriented list as well.