+<a href="upgrade-tinyos.html">upgrade-tinyos.html</a>. There are several ways to install
+ TinyOS. The first way is to install a live CD that gives
+ you a virtualized Linux with a complete TinyOS install. Note that since
+ this is on a CD, you can't modify anything; you can, however, make
+ a LiveUSB device to use as your TinyOS install. The second way is
+ to a Ubuntu-based virtual machine directly on your hard drive. The final way is to
+ install TinyOS on your host operating system. When installing
+ on a host operating system, you can either use a debian package
+ repository or manually instally with RPMs.</p>
+
+ <p>Of the four options, installing a VM image is simplest.
+ Using a Live CD lets you try out TinyOS without installing it on your
+ drive. Debian packages are the simplest and best way to install TinyOS
+ on your host operating system. RPMs are mostly a stand-by for RedHat
+ or other Linux distributions, as well as Windows/Cygwin users. If you
+ are using Cygwin, we strongly recommend using a VM image, unless you
+ are completely unfamiliar with UNIX tools such as editors (xemacs, vi)
+ and the shell,
+
+ <h1>One-step install with a VM Image</h1>
+
+ The most <A HREF="http://www.tinyos.net/scoop/section/Releases">current instructions</A> on
+ how to install the VM image are on <A HREF="http://www.tinyos.net">www.tinyos.net</A>.
+
+ <h1>One-step Install with a Live CD</h1>
+
+ <p><a href="http://toilers.mines.edu/Public/XubunTOS">Download a
+ Linux live CD that has a TinyOS installation on it</a>.
+ All you
+ need to do is download the CD image, burn it onto a CD, and
+ install from there. This saves you all of the complexities of
+ installation, and it's the recommended way to install
+ TinyOS. The link above has complete instructions. The live CD is
+ provided by the Toilers group at the Colorado School of
+ Mines.</p>
+
+
+
+ <h1>Two-step install on your host OS with Debian packages</h1>
+
+ <p>If you are running a version of Linux that supports Debian packages, then
+ you may want to use the TinyOS package repository. There is a <A HREF="http://www.tinyos.net/scoop/story/2007/8/15/234856/990">story on www.tinyos.net</A>
+ that describes how to use it. If you do this, then you do not have to
+ install the instructions here, except that you will need to check
+ that your environment is set up correctly (the end of step 5 in
+ the manual installation.</p>
+
+ <h1>Manual installation on your host OS with RPMs</h1>