From b239585f21910848e310dca9484f3a94324c2322 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bj=C3=B6rn=20B=2E=20Brandenburg?= <bbb@cs.unc.edu>
Date: Sat, 29 May 2010 20:13:04 -0400
Subject: publicise git repository

---
 index.html | 30 +++++++++++++++++++++++++++---
 1 file 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"> 
-- 
cgit v1.2.2