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
Copyright (c) 1997 The University of Washington. All rights reserved. |