Hi all,
 
Following our previous post (http://lists.ros.org/lurker/message/20140918.011916.e0e9cd9e.en.html) and the feedback we received, we make some update here in a separate thread.
 
1. We use Linux kernel version 3.8.13, and PREEMPT_RT patch version 3.8.13-rt16 to generate the Debian package. They can be downloaded from the following links:
kernel (32-bit): http://micros.nudt.edu.cn/ros/attachments/download/6418/linux-3.8.13.tar.bz2
patch (32-bit): http://micros.nudt.edu.cn/ros/attachments/download/6417/patch-3.8.13-rt16.patch.bz2kernel (64-bit): http://micros.nudt.edu.cn/ros/attachments/download/6421/linux-3.8.13.tar.bz2patch (32-bit): http://micros.nudt.edu.cn/ros/attachments/download/6420/patch-3.8.13-rt16.patch.bz2
 
2. The configuration can be found in the following links:
config (32-bit): http://micros.nudt.edu.cn/ros/attachments/download/6419/config-3.8.13-rt16_x86config (64-bit): http://micros.nudt.edu.cn/ros/attachments/download/6422/config-3.8.13-rt16_x64
 
3. We also did some comparative tests between non-RT and RT patched kernels, using both standard benchmark program and real world application. We are tiding the results up and will publish them soon.

Best regards,
Yanzhen
 
From: yanzhenwang@hotmail.com
To: ros-users@lists.ros.org
Subject: Debian packages facilitating installation of linux-rt kernel
Date: Thu, 18 Sep 2014 09:19:16 +0800













Hi everyone,
A real-time host OS may be needed when one is dealing with real-time guarantees in ROS applications. To make the installation of an rt-patched Linux kernel much easier, we created two Debian packages which do most of the work. They uses the Linux 3.8.13-rt16 RT-PREEMPT patch for 32-bit and 64-bit systems, respectively.
If you would like to give them a try, you can download the packages from the following links:32-bit: http://micros.nudt.edu.cn/ros/attachments/download/6409/linux-image-3.8.13-rt16-i386-v0.0.1.deb64-bit: http://micros.nudt.edu.cn/ros/attachments/download/6413/linux-image-3.8.13-rt16_3.8.13-rt16-10.00.Custom_amd64.deb
Place the corresponding package in any directory, and then run the following command and reboot the system.sudo dpkg -i linux-image-XXXX.deb
Now the real-time kernel will be there.
We would be grateful if you can try them out and any feedback would be greatly appreciated.
Best regards,Yanzhen