Provide discussion of goals, non-goals, and future plans.

1 files changed, 15 insertions, 1 deletions

diff --git a/index.html b/index.html
index 37ff5d3..c976f78 100644
--- a/index.html
+++ b/index.html
@@ -40,7 +40,16 @@
     model and modular scheduler plugins. Both partitioned and global scheduling
     is supported. 
     </p>
-    <p>
+    <h3>Goals</h3>
+    <p class="notopmargin">
+    The primary purpose of the LITMUS<sup>RT</sup> project is to <strong>provide  a useful experimental platform for applied real-time systems research</strong>. In that regard, LITMUS<sup>RT</sup> provides abstractions and interfaces within the kernel that simplify the prototyping of multiprocessor real-time scheduling and synchronization algorithms (compared to modifying a "vanilla" Linux kernel). As a secondary goal, LITMUS<sup>RT</sup> serves as a <strong>proof of concept</strong>, showing that algorithms such as PFAIR can be implemented on current hardware. Finally, we hope that parts of LITMUS<sup>RT</sup> and the "lessons learned" may find value as blueprints/sources of inspiration for other (both commercial and open source) implementation efforts.
+    </p>
+    <h3>Non-Goals</h3>
+    <p class="notopmargin">
+    LITMUS<sup>RT</sup> is not a production-quality system, and we have currently no plans to turn it into one. LITMUS<sup>RT</sup> is not "stable," <em>i.e.</em>, interfaces and implementations may change without warning between releases. POSIX-compliance is not a goal; the LITMUS<sup>RT</sup>-API offers alternate system call interfaces. While we aim to follow Linux-coding guidelines, LITMUS<sup>RT</sup> is not targeted at being merged into mainline Linux. Rather, we hope that some of the ideas protoyped in LITMUS<sup>RT</sup> may eventually find adoption in Linux.
+    </p>
+    <h3>Current Version</h3>
+    <p class="notopmargin">
     The current version of LITMUS<sup>RT</sup> is <strong>2008.2</strong> and is based on Linux&nbsp;2.6.24. 
     It was released on 12/01/2008 and includes plugins for the following
     scheduling policies:
@@ -52,6 +61,7 @@
       <li> PFAIR (both staggered and aligned quanta are supported)</li>
     </ul>
     <p>
+    Please refer to the <a href="#download">download</a> and <a href="#install">installation</a> sections for details.
     </p>
     <p>Earlier versions (2007.1 &mdash; 2007.3), which are based on Linux&nbsp;2.6.20 
     and support additional scheduling policies, are discussed 
@@ -61,6 +71,10 @@
        The first version of LITMUS<sup>RT</sup>, which was implemented in Spring 2006, 
        is based on Linux&nbsp;2.6.9.
     </p>
+    <h3>Development Plans</h3>
+    <p class="notopmargin">
+    Re-basing to the then-current Linux kernel version is scheduled for Fall 2009. There are plans to port LITMUS<sup>RT</sup> to PowerPC and ARM platforms. Please contact us for details.
+        </p>
     </div>
 
    <h2 id="support">Support</h2>