16 May 2008: New web-based installation tool for Windows users.

14 May 2008: Coldfire passes all test cases.

8 April 2008: Update to newlib 1.16.0, gcc-4.2.3

6 December 2007: Application construction developer tutorial.

2 December 2007: Updated build instructions.



Coyotos People

The EROS Group

Jonathan S. Shapiro is the managing partner of The EROS Group. He is the primary architect of EROS, the predecessor to Coyotos. Dr. Shapiro did most of the writing of the Coyotos specification, designed and implemented the cross-environment tools, and spends an inordinate amount of time handling administrivia for the company. He now works primarily on the application-level environment for Coyotos.

Jonathan W. Adams is a partner and Senior Software Engineer with The EROS Group. He joins us from Sun Microsystems where he spent several years in their core kernel development group. Mr. Adams works primarily on the Coyotos kernel and core domains.

Other Contributors

Eric Northup contributed key ideas to the EROS secure window manager and worked out the real-time capability invalidation and garbage collection techniques that are being used in the Coyotos implementation.

Mark Miller has now returned to Hewlett Packard Laboratories, but has consulted on many aspects of the Coyotos and BitC designs. Check out some of Mark's current work on the E Programming Language.

Related Projects

Swaroop Sridhar and M. Scott Doerrie are working on the BitC project at Johns Hopkins University. Swaroop has worked on high-performance dynamic translation technology, and currently is in charge of the BitC compiler and semantics for the Coyotos project. Scott is our verification expert. Among other things, Scott has the unusual distinction of having identified and corrected a bug in the EROS specification from an attempt to formalize the design constraints, and originated an alternative approach that does not yield anomolous behavior.