diff options
Diffstat (limited to 'index.html')
-rw-r--r-- | index.html | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -72,7 +72,7 @@ | |||
72 | is based on Linux 2.6.9. | 72 | is based on Linux 2.6.9. |
73 | </p> | 73 | </p> |
74 | <h3>Development Plans</h3> | 74 | <h3>Development Plans</h3> |
75 | <p class="notopmargin"> | 75 | <p class="nomargin"> |
76 | 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. | 76 | 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. |
77 | </p> | 77 | </p> |
78 | </div> | 78 | </div> |
@@ -104,8 +104,8 @@ | |||
104 | <li> <a href="http://www.cs.unc.edu/~jmc/">John M. Calandrino</a> <em>(graduated July 2009)</em> | 104 | <li> <a href="http://www.cs.unc.edu/~jmc/">John M. Calandrino</a> <em>(graduated July 2009)</em> |
105 | </li> | 105 | </li> |
106 | </ul> | 106 | </ul> |
107 | <p> | 107 | <p class="nobottommargin"> |
108 | (<a href="litmus2007.html#collaborators">Additional contributors</a> contributed to earlier versions of LITMUS<sup>RT</sup>.) | 108 | (<a href="litmus2007.html#collaborators">Additional collaborators</a> contributed to earlier versions of LITMUS<sup>RT</sup>.) |
109 | </p> | 109 | </p> |
110 | </div> | 110 | </div> |
111 | 111 | ||