2

RtLinux

Cedric Roux edited this page 2016-01-18 12:30:22 +01:00

As an alternative to RTAI, a CONFIG_PREEMT_RT patch can be used.

For Ubuntu 10.04, a precompiled versios of this kernel exist. It can be installed by adding the following repository http://ppa.launchpad.net/freenx-team/ppa/ubuntu and by installing the package linux-rt.

For Ubuntu 12.04 (64bit), a precompiled version of this kernel exists at http://carlocapocasa.com/ubuntu-12-04-upgrade-your-realtime-kernel-for-music-making/

For the Ubuntu 12.04 LTS x86_64 (64 bits):

• Install the Ubuntu 12.04 LTS x86_64 (64 bits)
• Download the following 3.4.29-rt41 linux image and headers debian packages and place them in /opt folder

```shell
wget http://carlocapocasa.com/wp-content/uploads/2013/02/linux-image-3.4.29-rt41_0_amd64.deb
wget http://carlocapocasa.com/wp-content/uploads/2013/02/linux-headers-3.4.29-rt41_0_amd64.deb
```

• Install the two debian packages

```shell
dpkg -i /opt/linux-image-3.4.29-rt41_0_amd64.deb
dpkg -i /opt/linux-headers-3.4.29-rt41_0_amd64.deb
```

• Make a symbolic link in order to use the linux headers

```shell
ln -s /usrc/src/linux-headers-3.4.29-rt41 /usr/src/linux
```

• Open Grub.conf file and verify that the RT kernel is the default one

```shell
gedit /boot/grub/grub.cfg
```

N.B.: Be sure that the set_default variable at the beginning corresponds to the menu entry on which you want to boot 

• Reboot the computer on the RT kernel

-- @florian.kaltenberger - 30 Jan 2014