summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBjoern Brandenburg <bbb@bbb1-cs.cs.unc.edu>2010-05-19 16:10:26 -0400
committerBjoern Brandenburg <bbb@bbb1-cs.cs.unc.edu>2010-05-19 16:10:26 -0400
commit537b0d6735841e0c5907a8cd9d4355e4d1485d3c (patch)
treea2f8e871404d938849aa2d7093670cdbdb3329ad
parent0423f5fb58e1712f1ca2b6a8c97f3e625b684406 (diff)
Fix XHTML validation errors
-rw-r--r--index.html13
1 files changed, 6 insertions, 7 deletions
diff --git a/index.html b/index.html
index 19fcaec..25f3260 100644
--- a/index.html
+++ b/index.html
@@ -298,8 +298,8 @@ Technology and Applications Symposium</cite>, pp. 342-353, April 2008.
298 <li><a href="download/2010.1/SHA256SUMS">SHA256 check sums</a> 298 <li><a href="download/2010.1/SHA256SUMS">SHA256 check sums</a>
299 </li> 299 </li>
300 </ul> 300 </ul>
301 <h4>Major changes (since LITMUS<sup>RT</sup> 2008.3):</h4> TO BE UPDATED 301 <h4>Major changes (since LITMUS<sup>RT</sup> 2008.3):</h4>
302 <ul> 302 <ul>
303 <li> 303 <li>
304 Changed codebase from Linux 2.6.24 to Linux 2.6.32 304 Changed codebase from Linux 2.6.24 to Linux 2.6.32
305 </li> 305 </li>
@@ -309,8 +309,9 @@ tasks are present).
309 </li> 309 </li>
310 <li> Synchronization of plugin switching </li> 310 <li> Synchronization of plugin switching </li>
311 <li>Several bugfixes.</li> 311 <li>Several bugfixes.</li>
312 </ul>
312 </div> 313 </div>
313 314
314 <p> 315 <p>
315 Please note that the current implementation is a <em>prototype</em> with 316 Please note that the current implementation is a <em>prototype</em> with
316 certain limitations. Most notably, it is not secure in a multiuser context, 317 certain limitations. Most notably, it is not secure in a multiuser context,
@@ -375,7 +376,7 @@ make modules
375</pre> 376</pre>
376 <p> 377 <p>
377 When configuring the kernel, note that there is a menu (at the very end of the list) 378 When configuring the kernel, note that there is a menu (at the very end of the list)
378 with LITMUS<sup>RT</sup>-specific configuration options. For reference, we provide sample <a href="download/2010.1/32bit-config">32-bit </a> and <a href="download/2010.1/64bit-config">64-bit </a> configurations that are known to work under QEMU</a>. 379 with LITMUS<sup>RT</sup>-specific configuration options. For reference, we provide sample <a href="download/2010.1/32bit-config">32-bit </a> and <a href="download/2010.1/64bit-config">64-bit configurations</a> that are known to work under QEMU.
379 </p> 380 </p>
380 381
381 <h3>Libraries</h3> 382 <h3>Libraries</h3>
@@ -384,10 +385,9 @@ make modules
384 depends on the LITMUS<sup>RT</sup> kernel kernel and provides its own build system (based on <a href="http://www.scons.org/">scons</a>). 385 depends on the LITMUS<sup>RT</sup> kernel kernel and provides its own build system (based on <a href="http://www.scons.org/">scons</a>).
385 In order to compile <span class="src">liblitmus</span>, you need to adjust the 386 In order to compile <span class="src">liblitmus</span>, you need to adjust the
386 variable <span class="src">LITMUS_KERNEL</span> in the <span class="src">SConstruct</span> file to point to your 387 variable <span class="src">LITMUS_KERNEL</span> in the <span class="src">SConstruct</span> file to point to your
387 copy of the kernel. Users should not update the <span class="src">SConstruct</span> file manually anymore. Instead, a <span class="src">.config</span> file can be created with appropriate variables. The required variables can be listed using <span class="src"> scons -h </span> command. This command lists the variables required for building the <span class="src"> liblitmus2010 </span> library. For reference, we provide a sample <a href="download/2010.1/liblitmus-2010-config"> config </a> file.<br> 388 copy of the kernel. Users should not update the <span class="src">SConstruct</span> file manually anymore. Instead, a <span class="src">.config</span> file can be created with appropriate variables. The required variables can be listed using <span class="src"> scons -h </span> command. This command lists the variables required for building the <span class="src"> liblitmus2010 </span> library. For reference, we provide a sample <a href="download/2010.1/liblitmus-2010-config"> config </a> file.
388 Sample output of <span class="src"> scons -h </span> is as shown below. 389 Sample output of <span class="src"> scons -h </span> is as shown below.
389 </p> 390 </p>
390 <p>
391 <pre class="shell"> 391 <pre class="shell">
392scons -h 392scons -h
393scons: Reading SConscript files ... 393scons: Reading SConscript files ...
@@ -418,7 +418,6 @@ ARCH: Target architecture. (x86_64|sparc64|x86|i686)
418Use scons -H for help about command-line options. 418Use scons -H for help about command-line options.
419 419
420 </pre> 420 </pre>
421</p>
422<p class="notopmargin"> 421<p class="notopmargin">
423 To summarize, the <span class="src"> liblitmus </span> can be obtained and 422 To summarize, the <span class="src"> liblitmus </span> can be obtained and
424 compiled with the following commands: 423 compiled with the following commands: