The SPIN Operating System
Distribution Site

Welcome to the SPIN distribution site. If you are interested in using SPIN for your own purposes this is where you get the code. Everything necessary to build and boot a SPIN kernel is available here along with information to help you get started using SPIN.

This distribution of SPIN is meant for the iX86 platform and requires Linux Redhat version 4.2 to build.

It has been recognized recently that the newer version of libc (glibc-2.0.x aka libc6) is not compatible with the Modula-3 compiler used to build SPIN. Redhat version 4.2 is known to work.

Source Code

Other Information

Questions/Comments

Copyright (c) 1997 The University of Washington. All rights reserved.