The following collection of documents is a bit of a miscellany. All of the information here properly ought to be included in the various design documentation as that is written, but it this information is important enough to be worth making available in its initial, fragmentary form.

Designs rarely survive contact with the hardware, and in some cases we haven't gone back to rewrite the design note. Still, these notes provide a useful snapshot of our thinking at various points in the design.

EROS Kernel Design Notes

Autoconfiguration in the EROS Kernel	Kernel Virtual Memory
Disk Formatting and Layout	Key Dependency Management
Domain Layout	Loading the Context Structure
EtherLink III	Notes on the Checkpoint Log Design
Teaching Your TTYs Submission	Notes on Keeper Design
IPC Interface -- The Next Generation	Small Spaces for the x86 Family
POSIX Compatibility Environment	Space Bank Issues
i386 Boot Process	Capability Pages
Revised^2 IPC Design	The Capability Invocation Path
Kernel Stacks	User Mode Drivers
Changes in EROS Version 2.0	Kernel Output Design
IA-32 Emulation	Reviewing Where We Stand

Computer Science Technical Reports

Consistency Management in the EROS Kernel (postscript for now)