summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorBjörn B. Brandenburg <bbb@cs.unc.edu>2010-10-21 16:39:36 -0400
committerBjörn B. Brandenburg <bbb@cs.unc.edu>2010-10-21 16:39:36 -0400
commit0b7dffa7540d399435213c1674fac90013b88486 (patch)
tree034eddbcaad235d3caf4dc1cd81660921b6a6346
parentba5e4dd785f07ca84c786fe12357dd016c6a2f8e (diff)
Update installation instructions.
-rw-r--r--download/2010.2/liblitmus-2010-config5
-rw-r--r--index.html29
2 files changed, 19 insertions, 15 deletions
diff --git a/download/2010.2/liblitmus-2010-config b/download/2010.2/liblitmus-2010-config
new file mode 100644
index 0000000..22bc513
--- /dev/null
+++ b/download/2010.2/liblitmus-2010-config
@@ -0,0 +1,5 @@
1# Set ARCH to 64 bit
2ARCH = 'x86_64'
3# Set path for LITMUS_KERNEL
4LITMUS_KERNEL = '../litmus2010'
5
diff --git a/index.html b/index.html
index d5cc74e..5efb2aa 100644
--- a/index.html
+++ b/index.html
@@ -433,9 +433,9 @@ Technology and Applications Symposium</cite>, pp. 342-353, April 2008.
433 <h3>Patching the Kernel</h3> 433 <h3>Patching the Kernel</h3>
434 <p class="notopmargin"> 434 <p class="notopmargin">
435 The extension to the Linux kernel is released as a patch against Linux 435 The extension to the Linux kernel is released as a patch against Linux
436 2.6.32. To install the LITMUS<sup>RT</sup> kernel, first <a 436 2.6.34. To install the LITMUS<sup>RT</sup> kernel, first <a
437 href="http://www.kernel.org/pub/linux/kernel/v2.6/linux-2.6.32.tar.bz2">download the Linux 437 href="http://www.kernel.org/pub/linux/kernel/v2.6/linux-2.6.34.tar.bz2">download the Linux
438 kernel 2.6.32</a> and untar it in a directory of your choice (hereafter 438 kernel 2.6.34</a> and untar it in a directory of your choice (hereafter
439 referred to as <span class="src">$DIR</span>). Second, apply the 439 referred to as <span class="src">$DIR</span>). Second, apply the
440 LITMUS<sup>RT</sup> patch (see <a href="#download">Section Download</a>) 440 LITMUS<sup>RT</sup> patch (see <a href="#download">Section Download</a>)
441 and configure, compile, and install the kernel as usual. The patch is <span 441 and configure, compile, and install the kernel as usual. The patch is <span
@@ -443,16 +443,15 @@ Technology and Applications Symposium</cite>, pp. 342-353, April 2008.
443 To summarize, the LITMUS<sup>RT</sup> kernel can be obtained, patched, and 443 To summarize, the LITMUS<sup>RT</sup> kernel can be obtained, patched, and
444 compiled with the following commands: 444 compiled with the following commands:
445 </p> 445 </p>
446<pre class="shell"> 446<pre class="shell">cd $DIR
447cd $DIR 447# get Linux 2.6.34
448# get Linux 2.6.32 448wget http://www.kernel.org/pub/linux/kernel/v2.6/linux-2.6.34.tar.bz2
449wget http://www.kernel.org/pub/linux/kernel/v2.6/linux-2.6.32.tar.bz2 449tar xjf linux-2.6.34.tar.bz2
450tar xjf linux-2.6.32.tar.bz2 450wget http://www.cs.unc.edu/~anderson/litmus-rt/download/2010.2/litmus-rt-2010.2.patch
451wget http://www.cs.unc.edu/~anderson/litmus-rt/download/2010.1/litmus-rt-2010.1.patch 451mv linux-2.6.34 litmus2010
452mv linux-2.6.32 litmus2010
453# apply the LITMUS RT patch 452# apply the LITMUS RT patch
454cd litmus2010 453cd litmus2010
455patch -p1 &lt; ../litmus-rt-2010.1.patch 454patch -p1 &lt; ../litmus-rt-2010.2.patch
456# create a working kernel configuration 455# create a working kernel configuration
457# - select HZ=1000 456# - select HZ=1000
458# - enable in-kernel preemptions 457# - enable in-kernel preemptions
@@ -469,7 +468,7 @@ make modules
469</pre> 468</pre>
470 <p> 469 <p>
471 When configuring the kernel, note that there is a menu (at the very end of the list) 470 When configuring the kernel, note that there is a menu (at the very end of the list)
472 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. 471 with LITMUS<sup>RT</sup>-specific configuration options. For reference, we provide sample <a href="download/2010.2/32bit-config">32-bit </a> and <a href="download/2010.2/64bit-config">64-bit configurations</a> that are known to work under KVM.
473 </p> 472 </p>
474 473
475 <h3>Libraries</h3> 474 <h3>Libraries</h3>
@@ -478,7 +477,7 @@ make modules
478 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>). 477 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>).
479 In order to compile <span class="src">liblitmus</span>, you need to adjust the 478 In order to compile <span class="src">liblitmus</span>, you need to adjust the
480 variable <span class="src">LITMUS_KERNEL</span> in the <span class="src">.config</span> file to point to your 479 variable <span class="src">LITMUS_KERNEL</span> in the <span class="src">.config</span> file to point to your
481 copy of the kernel. The variables required for building <span class="src">liblitmus </span> can be listed using <span class="src"> scons -h </span> command. For reference, we provide a sample <a href="download/2010.1/liblitmus-2010-config"> config </a> file. 480 copy of the kernel. The variables required for building <span class="src">liblitmus </span> can be listed using <span class="src"> scons -h </span> command. For reference, we provide a sample <a href="download/2010.2/liblitmus-2010-config"> config </a> file.
482 Sample output of <span class="src"> scons -h </span> is as shown below. 481 Sample output of <span class="src"> scons -h </span> is as shown below.
483 </p> 482 </p>
484 <pre class="shell"> 483 <pre class="shell">
@@ -517,8 +516,8 @@ Use scons -H for help about command-line options.
517</p> 516</p>
518<pre class="shell"> 517<pre class="shell">
519cd $DIR 518cd $DIR
520wget http://www.cs.unc.edu/~anderson/litmus-rt/download/2010.1/liblitmus-2010.1.tgz 519wget http://www.cs.unc.edu/~anderson/litmus-rt/download/2010.1/liblitmus-2010.2.tgz
521tar xzf liblitmus-2010.1.tgz 520tar xzf liblitmus-2010.2.tgz
522cd liblitmus 521cd liblitmus
523# change LITMUS_KERNEL in .config to point to the kernel source 522# change LITMUS_KERNEL in .config to point to the kernel source
524scons 523scons