From 0b7dffa7540d399435213c1674fac90013b88486 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bj=C3=B6rn=20B=2E=20Brandenburg?= Date: Thu, 21 Oct 2010 16:39:36 -0400 Subject: Update installation instructions. --- download/2010.2/liblitmus-2010-config | 5 +++++ index.html | 29 ++++++++++++++--------------- 2 files changed, 19 insertions(+), 15 deletions(-) create mode 100644 download/2010.2/liblitmus-2010-config 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 @@ +# Set ARCH to 64 bit +ARCH = 'x86_64' +# Set path for LITMUS_KERNEL +LITMUS_KERNEL = '../litmus2010' + 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, pp. 342-353, April 2008.

Patching the Kernel

The extension to the Linux kernel is released as a patch against Linux - 2.6.32. To install the LITMUSRT kernel, first download the Linux - kernel 2.6.32 and untar it in a directory of your choice (hereafter + 2.6.34. To install the LITMUSRT kernel, first download the Linux + kernel 2.6.34 and untar it in a directory of your choice (hereafter referred to as $DIR). Second, apply the LITMUSRT patch (see Section Download) and configure, compile, and install the kernel as usual. The patch is , pp. 342-353, April 2008. To summarize, the LITMUSRT kernel can be obtained, patched, and compiled with the following commands:

-
 
-cd $DIR
-# get Linux 2.6.32
-wget http://www.kernel.org/pub/linux/kernel/v2.6/linux-2.6.32.tar.bz2
-tar xjf linux-2.6.32.tar.bz2
-wget http://www.cs.unc.edu/~anderson/litmus-rt/download/2010.1/litmus-rt-2010.1.patch
-mv linux-2.6.32 litmus2010
+
cd $DIR
+# get Linux 2.6.34
+wget http://www.kernel.org/pub/linux/kernel/v2.6/linux-2.6.34.tar.bz2
+tar xjf linux-2.6.34.tar.bz2
+wget http://www.cs.unc.edu/~anderson/litmus-rt/download/2010.2/litmus-rt-2010.2.patch
+mv linux-2.6.34 litmus2010
 # apply the LITMUS RT patch
 cd litmus2010
-patch -p1 < ../litmus-rt-2010.1.patch
+patch -p1 < ../litmus-rt-2010.2.patch
 # create a working kernel configuration
 #  - select HZ=1000
 #  - enable in-kernel preemptions
@@ -469,7 +468,7 @@ make modules
 
 
     
 
       When configuring the kernel, note that there is a menu (at the very end of the list) 
-      with LITMUSRT-specific configuration options. For reference, we provide sample 32-bit  and 64-bit configurations  that are known to work under QEMU.
+      with LITMUSRT-specific configuration options. For reference, we provide sample 32-bit  and 64-bit configurations  that are known to work under KVM.
     
 
  
     
Libraries
 
@@ -478,7 +477,7 @@ make modules
     depends on the LITMUSRT kernel kernel and provides its own build system (based on scons). 
     In order to compile liblitmus, you need to adjust the
     variable LITMUS_KERNEL in the .config file to point to your 
-    copy of the kernel. The variables required for building liblitmus  can be listed using  scons -h  command. For reference, we provide a sample  config  file.
+    copy of the kernel. The variables required for building liblitmus  can be listed using  scons -h  command. For reference, we provide a sample  config  file.
    Sample output of  scons -h  is as shown below.
     
 
    
 
@@ -517,8 +516,8 @@ Use scons -H for help about command-line options.
 

 
 
 cd $DIR
-wget http://www.cs.unc.edu/~anderson/litmus-rt/download/2010.1/liblitmus-2010.1.tgz
-tar xzf liblitmus-2010.1.tgz
+wget http://www.cs.unc.edu/~anderson/litmus-rt/download/2010.1/liblitmus-2010.2.tgz
+tar xzf liblitmus-2010.2.tgz
 cd liblitmus 
 # change LITMUS_KERNEL in .config to point to the kernel source
 scons
-- 
cgit v1.2.2