<?xml version='1.0'?>
<!DOCTYPE cscpage SYSTEM "../../csc.dtd">
<cscpage title="Operating Systems the CSC distributes">
 <header/>
  <section title="List of operating systems">
  <ul>
  <li><a href="http://www.debian.org/">Debian GNU/Linux</a></li>
  <li><a href="http://www.freebsd.org/">FreeBSD</a></li>
  </ul>
  <p>More operating systems may be available.</p>
  </section>
 <footer/>
</cscpage>
