publicise git repository

1 files changed, 27 insertions, 3 deletions

diff --git a/index.html b/index.html
index 1b71128..323800b 100644
--- a/index.html
+++ b/index.html
@@ -39,7 +39,8 @@ Have a look at our group's <a href="http://www.cs.unc.edu/%7Eanderson/papers.htm
    <a href="#publications">publications</a> - 

    <a href="#download">download</a> - 

    <a href="#install">installation</a> -

-   <a href="#doc">documentation</a>      

+   <a href="#doc">documentation</a> -

+   <a href="#development">development</a>      

    </p> 

    </div> 

  

@@ -85,6 +86,9 @@ Have a look at our group's <a href="http://www.cs.unc.edu/%7Eanderson/papers.htm
         <h3> Development Plans </h3>

         There are plans to port LITMUS<sup>RT</sup> to PowerPC and ARM platforms. Please contact us for details. 

    </div>

+   

+   

+   

    <h2 id="support">Support</h2> 

     <div class="box"> 

     <p class="nomargin"> 

@@ -290,8 +294,9 @@ Technology and Applications Symposium</cite>, pp. 342-353, April 2008.
     <p class="notopmargin"> 

     The source code of LITMUS<sup>RT</sup> is made available as open source

     under the terms of the <a href="http://www.gnu.org/licenses/gpl.txt">GNU

-    General Public License (GPL)</a>. 

-    </p> 

+    General Public License (GPL)</a>. LITMUS<sup>RT</sup> is released as a patch against Linux. Additionally,

+    it is also available as a <span class="src">git</span> repository (see <a href="#development">Development</a> below).

+    </p>

     <p> 

     The current release of LITMUS<sup>RT</sup> is 2010.1. 

     It  consists of our Linux kernel modifications in the form of

@@ -572,6 +577,25 @@ scons
  

  

     </div> 

+

+    <h2 id="development">Development</h2> 

+    <div class="box">  

+    <p class="nomargin">

+    Patches and suggestions are very welcome!

+    The current development version of LITMUS<sup>RT</sup> is available as a public <a href="http://git-scm.com/">git</a> repository at

+    <strong>http://www.cs.unc.edu/~anderson/litmus-rt/git</strong> and can be

+    cloned with the following command.

+    </p> 

+<pre class="shell">

+git clone http://www.cs.unc.edu/~anderson/litmus-rt/git litmus-rt

+</pre>

+        <p class="nobottommargin">

+    Please contact the <a href="#collaborators">current maintainer</a> if you 

+    need access to the repositories for the user space libraries and tools.

+    </p>

+    </div>

+ 

+

  

     <h2 id="credits">Credits</h2> 

     <div class="box">