diff options
Diffstat (limited to 'index.html')
-rw-r--r-- | index.html | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -42,7 +42,7 @@ | |||
42 | </p> | 42 | </p> |
43 | <p> | 43 | <p> |
44 | The current version of LITMUS<sup>RT</sup> is <strong>2008.1</strong> and is based on Linux 2.6.24. | 44 | The current version of LITMUS<sup>RT</sup> is <strong>2008.1</strong> and is based on Linux 2.6.24. |
45 | It was released on ??/??/2008 and includes plugins for the following | 45 | It was released on 7/19/2008 and includes plugins for the following |
46 | scheduling policies are included: | 46 | scheduling policies are included: |
47 | </p> | 47 | </p> |
48 | <ul> | 48 | <ul> |
@@ -194,7 +194,7 @@ Technology and Applications Symposium</cite>, pp. 342-353, April 2008. | |||
194 | General Public License (GPL)</a>. | 194 | General Public License (GPL)</a>. |
195 | </p> | 195 | </p> |
196 | <p> | 196 | <p> |
197 | The current release of LITMUS<sup>RT</sup> is 2008.1 and was released on ??/??/2008. | 197 | The current release of LITMUS<sup>RT</sup> is 2008.1 and was released on 7/19/2008. |
198 | It consists of our Linux kernel modifications in the form of | 198 | It consists of our Linux kernel modifications in the form of |
199 | a patch against Linux 2.6.24 and | 199 | a patch against Linux 2.6.24 and |
200 | <span class="src">liblitmus</span>, the user-space API for real-time tasks. | 200 | <span class="src">liblitmus</span>, the user-space API for real-time tasks. |