Coyotos Documentation
Developer Documentation
Documents in this area should be of interest to developers. They provide information on the BitC language, the OSDoc documentation system, the build system, and various other parts of the Coyotos system.
Coyotos
Control and Value Flow Invariants in the Coyotos Microkernel (DRAFT In Progress) [pdf]
Jonathan Shapiro, Ph.D.
Description of the internal invariant structure of the kernel.
Coyotos Bootstrap [pdf]
Jonathan Shapiro, Ph.D.
Description of the Coyotos bootstrap behavior.
Coyotos Core Domain Interfaces (Version 0.1 (in progress)) [pdf]
Jonathan S. Shapiro, Ph.D., Jonathan W. Adams
Interface documentation for the core utility domains.
Coyotos Microkernel Specification (Version 0.6+) [pdf]
Jonathan S. Shapiro, Ph.D., Jonathan W. Adams
Provisional specification for the Coyotos microkernel.
Inside Coyotos (Version 0.1) [pdf]
Jonathan S. Shapiro, Ph.D.
An insider's guide to the Coyotos kernel.
Build Tools
CapIDL Language Specification (Version 0.1) [pdf]
Jonathan Shapiro, Ph.D., Mark Miller
Provisional specification for the CapIDL interface definition language.
MkImage Specification (Version 0.2) [pdf]
Jonathan Shapiro, Ph.D.
Provisional specification for the mkimage language for defining Coyotos installer and boot images.
The Coyotos Build System (Version 0.3) [pdf]
Jonathan Shapiro, Ph.D.
Provides an overview of the Coyotos build system and the structure of the source code tree.
The System View
Coyotos Developer Guide (Version 0.1) [pdf]
Jonathan S. Shapiro, Ph.D.
An introduction to working with Coyotos for developers and integrators.
The EROS System Structure (Working Draft, Currently In Progress) [pdf]
Jonathan S. Shapiro, Ph.D.
An informal attempt to describe how the key pieces of the EROS system fit together.
Design Notes
Design Note: Kernel Interrupt and Concurrency
Management [pdf]
Jonathan S. Shapiro, Ph.D.
How the kernel implementation deals with interrupts and SMP mutual exclusion issues.
Design Note: Kernel Virtual Map Management [pdf]
Jonathan Shapiro, Ph.D., Eric Northup, M.S.
How the Coyotos kernel virtual map is set up.
Design Note: Target Considerations for Coldfire [pdf]
Jonathan S. Shapiro, Ph.D.
Porting issues that arise for the ColdFire V4e target.
Board Support Packages
Coldfire ASD_APS Board Support Package (Version 0.1) [pdf]
Godfrey Vassallo, Jonathan S. Shapiro, Ph.D.
Provisional description of the ASD_APS board support package.
Miscellaneous
Debunking Linus's Latest [pdf]
Jonathan Shapiro, Ph.D.
Thoughts in reponse to the latest Tanenbaum/Torvalds exchange.
Differences Between Coyotos and EROS — A Quick Summary (Version 0.3, revised 2 April 2006) [pdf]
Jonathan Shapiro, Ph.D.
A summary view of how the EROS architecture has evolved into Coyotos.
Published Papers
Papers about Coyotos or BitC.
Towards a Verified, General-Purpose Operating System Kernel [pdf]
Jonathan Shapiro, Ph.D., Michael Scott Doerrie, Eric Northup, Swaroop Sridhar, Mark Miller
Describes our approach to creating a fully verified capability-based kernel and system.