summaryrefslogtreecommitdiffstats
path: root/index.html
diff options
context:
space:
mode:
Diffstat (limited to 'index.html')
-rw-r--r--index.html7
1 files changed, 5 insertions, 2 deletions
diff --git a/index.html b/index.html
index de7c876..bc7e42d 100644
--- a/index.html
+++ b/index.html
@@ -38,7 +38,8 @@
38 <p class="nomargin"> 38 <p class="nomargin">
39 The LITMUS<sup>RT</sup> project is a soft real-time extension of the Linux 39 The LITMUS<sup>RT</sup> project is a soft real-time extension of the Linux
40 kernel with focus on multiprocessor real-time scheduling and 40 kernel with focus on multiprocessor real-time scheduling and
41 synchronization. The Linux kernel is modified to support the sporadic task 41 synchronization. The Linux kernel (currently, version 2.6.20) is modified
42 to support the sporadic task
42 model and modular scheduler plugins. Both partitioned and global scheduling 43 model and modular scheduler plugins. Both partitioned and global scheduling
43 is supported. In the current version (2007.3), plugins for the following 44 is supported. In the current version (2007.3), plugins for the following
44 scheduling policies are included: 45 scheduling policies are included:
@@ -55,6 +56,8 @@
55 </ul> 56 </ul>
56 <p> 57 <p>
57 The latest public release of LITMUS<sup>RT</sup> occurred on 01/28/2008. 58 The latest public release of LITMUS<sup>RT</sup> occurred on 01/28/2008.
59 <em>This is the last release of the 2007 series.</em> The next
60 LITMUS<sup>RT</sup> release will be based on Linux 2.6.24.
58 </p> 61 </p>
59 </div> 62 </div>
60 63
@@ -175,7 +178,7 @@
175 General Public License (GPL)</a>. 178 General Public License (GPL)</a>.
176 </p> 179 </p>
177 <p> 180 <p>
178 The latest version of LITMUS<sup>RT</sup> is 2007.3 and was released on 01/28/2008 181 The latest version of LITMUS<sup>RT</sup> is 2007.3 and was released on 01/28/2008.
179 It consists of 182 It consists of
180 our Linux kernel modifications in the form of 183 our Linux kernel modifications in the form of
181 a patch against Linux 2.6.20, 184 a patch against Linux 2.6.20,