diff options
| author | Bjoern Brandenburg <bbb@bbb1-cs.cs.unc.edu> | 2008-08-22 22:46:11 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@bbb1-cs.cs.unc.edu> | 2008-08-22 22:46:11 -0400 |
| commit | 3da32247ed85eb654fa3cc79c82bf941b9ef43e9 (patch) | |
| tree | 9f4be6dd503acbf3ff35d8feeeb83cee762c6a1a | |
| parent | c67ba1277bdf7f9a45569191e6d25314e608fdaf (diff) | |
some style and URL fixes
| -rw-r--r-- | index.html | 11 |
1 files changed, 5 insertions, 6 deletions
| @@ -43,7 +43,7 @@ | |||
| 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 7/19/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: |
| 47 | </p> | 47 | </p> |
| 48 | <ul> | 48 | <ul> |
| 49 | <li> Partitioned EDF with synchronization support (PSN-EDF)</li> | 49 | <li> Partitioned EDF with synchronization support (PSN-EDF)</li> |
| @@ -78,9 +78,8 @@ | |||
| 78 | href="http://www.cs.unc.edu/~anderson/">Dr. James H. Anderson</a>. | 78 | href="http://www.cs.unc.edu/~anderson/">Dr. James H. Anderson</a>. |
| 79 | </p> | 79 | </p> |
| 80 | <p> | 80 | <p> |
| 81 | The | 81 | The implementation effort is carried out by students of the |
| 82 | implementation effort is carried out by students of the | 82 | <a href="http://www.cs.unc.edu/~anderson/real-time/">Real-Time Systems |
| 83 | <a href="http://www.cs.unc.edu/rt">Real-Time Systems | ||
| 84 | Group</a> at the <a href="http://www.unc.edu">University of North Carolina | 83 | Group</a> at the <a href="http://www.unc.edu">University of North Carolina |
| 85 | at Chapel Hill</a>: | 84 | at Chapel Hill</a>: |
| 86 | </p> | 85 | </p> |
| @@ -196,7 +195,7 @@ Technology and Applications Symposium</cite>, pp. 342-353, April 2008. | |||
| 196 | General Public License (GPL)</a>. | 195 | General Public License (GPL)</a>. |
| 197 | </p> | 196 | </p> |
| 198 | <p> | 197 | <p> |
| 199 | The current release of LITMUS<sup>RT</sup> is 2008.1 and was released on 7/19/2008. | 198 | The current release of LITMUS<sup>RT</sup> is 2008.1. |
| 200 | It consists of our Linux kernel modifications in the form of | 199 | It consists of our Linux kernel modifications in the form of |
| 201 | a patch against Linux 2.6.24 and | 200 | a patch against Linux 2.6.24 and |
| 202 | <span class="src">liblitmus</span>, the user-space API for real-time tasks. | 201 | <span class="src">liblitmus</span>, the user-space API for real-time tasks. |
| @@ -261,7 +260,7 @@ Technology and Applications Symposium</cite>, pp. 342-353, April 2008. | |||
| 261 | extension of the Linux kernel that adds support for the sporadic task | 260 | extension of the Linux kernel that adds support for the sporadic task |
| 262 | model, a scheduler plugin infrastructure, and some scheduler plugins, as | 261 | model, a scheduler plugin infrastructure, and some scheduler plugins, as |
| 263 | well as a user-space library that provides the LITMUS<sup>RT</sup> | 262 | well as a user-space library that provides the LITMUS<sup>RT</sup> |
| 264 | real-time API. Note, that the current implementation only works on the | 263 | real-time API. Note that the current implementation only works on the |
| 265 | Intel x86-32 and sparc64 architectures. | 264 | Intel x86-32 and sparc64 architectures. |
| 266 | </p> | 265 | </p> |
| 267 | <h3>Patching the Kernel</h3> | 266 | <h3>Patching the Kernel</h3> |