Source Distribution
|
Source release of SPIN for the x86.
|
SPIN Overview
|
Brief overview of SPIN, including benchmarks and information
on Modula-3.
|
Research Projects
|
As an extensible system, SPIN is an excellent platform for
operating systems research. These are some mature and ongoing
projects.
|
Project Members
|
Who we are.
|
Paper Trail
|
Project Reports, Talks, Papers, etc. Features publications from
OSDI '96, PLDI '96, WCSSS '96, Winter '96 Usenix, and SOSP '95.
|
Acknowledgements
|
We've gotten a lot of assistance from academia, industry, and the
government on this project. This page says who we're involved with.
|
Related Work
|
Pointers to other projects in extensible systems.
|