[ros-users] Debian packages facilitating installation of linux-rt kernel [UPDATE: source&config]

Yanzhen Wang yanzhenwang at hotmail.com
Mon Sep 29 02:22:30 UTC 2014

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,
From: yanzhenwang at hotmail.com
To: ros-users at 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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ros.org/pipermail/ros-users/attachments/20140929/e115b281/attachment.html>

More information about the ros-users mailing list