summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--index.html2
1 files changed, 1 insertions, 1 deletions
diff --git a/index.html b/index.html
index 3a3773c..fd63f47 100644
--- a/index.html
+++ b/index.html
@@ -331,7 +331,7 @@ Technology and Applications Symposium</cite>, pp. 342-353, April 2008.
331 model, a scheduler plugin infrastructure, and some scheduler plugins, as 331 model, a scheduler plugin infrastructure, and some scheduler plugins, as
332 well as a user-space library that provides the LITMUS<sup>RT</sup> 332 well as a user-space library that provides the LITMUS<sup>RT</sup>
333 real-time API. Note that the current implementation only works on the 333 real-time API. Note that the current implementation only works on the
334 Intel x86-32 and sparc64 architectures. 334 Intel x86-32 and x86-64 architectures.
335 </p> 335 </p>
336 <h3>Patching the Kernel</h3> 336 <h3>Patching the Kernel</h3>
337 <p class="notopmargin"> 337 <p class="notopmargin">