diff options
-rw-r--r-- | download/2010.2/liblitmus-2010-config | 5 | ||||
-rw-r--r-- | index.html | 29 |
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 | ||
2 | ARCH = 'x86_64' | ||
3 | # Set path for LITMUS_KERNEL | ||
4 | LITMUS_KERNEL = '../litmus2010' | ||
5 | |||
@@ -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 |
447 | cd $DIR | 447 | # get Linux 2.6.34 |
448 | # get Linux 2.6.32 | 448 | wget http://www.kernel.org/pub/linux/kernel/v2.6/linux-2.6.34.tar.bz2 |
449 | wget http://www.kernel.org/pub/linux/kernel/v2.6/linux-2.6.32.tar.bz2 | 449 | tar xjf linux-2.6.34.tar.bz2 |
450 | tar xjf linux-2.6.32.tar.bz2 | 450 | wget http://www.cs.unc.edu/~anderson/litmus-rt/download/2010.2/litmus-rt-2010.2.patch |
451 | wget http://www.cs.unc.edu/~anderson/litmus-rt/download/2010.1/litmus-rt-2010.1.patch | 451 | mv linux-2.6.34 litmus2010 |
452 | mv linux-2.6.32 litmus2010 | ||
453 | # apply the LITMUS RT patch | 452 | # apply the LITMUS RT patch |
454 | cd litmus2010 | 453 | cd litmus2010 |
455 | patch -p1 < ../litmus-rt-2010.1.patch | 454 | patch -p1 < ../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"> |
519 | cd $DIR | 518 | cd $DIR |
520 | wget http://www.cs.unc.edu/~anderson/litmus-rt/download/2010.1/liblitmus-2010.1.tgz | 519 | wget http://www.cs.unc.edu/~anderson/litmus-rt/download/2010.1/liblitmus-2010.2.tgz |
521 | tar xzf liblitmus-2010.1.tgz | 520 | tar xzf liblitmus-2010.2.tgz |
522 | cd liblitmus | 521 | cd 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 |
524 | scons | 523 | scons |