 You can connect to a machine running SPIN with the in-kernel SPIN web server  <A HREF="http://www-spin.cs.washington.edu"> here</a>.  <h2>
