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.


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.


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.