Installing Xenomai on a BeagleBone Black with kernel 4.4.91-ti-r133

I am looking into installing Xenomai with a RT kenel based on 4.4.91-ti-r133,
but the Xenomai install documentation I am finding talks about building/using
a 3.8 vintage kernel. Is this documentation valid for the 4.4.91-ti-r133
kernel?

If your on Debian Stretch, here are teh 3 versions of Xenomai:

http://repos.rcn-ee.net/latest/stretch-armhf/LATEST-ti-xenomai

To install one, just run:

sudo apt update
sudo apt install linux-image-(kernel tagfrom list)

Regards,

>
> I am looking into installing Xenomai with a RT kenel based on 4.4.91-ti-r133,
> but the Xenomai install documentation I am finding talks about building/using
> a 3.8 vintage kernel. Is this documentation valid for the 4.4.91-ti-r133
> kernel?

If your on Debian Stretch, here are teh 3 versions of Xenomai:

http://repos.rcn-ee.net/latest/stretch-armhf/LATEST-ti-xenomai

To install one, just run:

sudo apt update
sudo apt install linux-image-(kernel tagfrom list)

Well, that was easy... Thanks.

>
> I am looking into installing Xenomai with a RT kenel based on 4.4.91-ti-r133,
> but the Xenomai install documentation I am finding talks about building/using
> a 3.8 vintage kernel. Is this documentation valid for the 4.4.91-ti-r133
> kernel?

If your on Debian Stretch, here are teh 3 versions of Xenomai:

http://repos.rcn-ee.net/latest/stretch-armhf/LATEST-ti-xenomai

To install one, just run:

sudo apt update
sudo apt install linux-image-(kernel tagfrom list)

OK, I installed kernel 4.4.113-ti-xenomai-r149. Do I need to install anything
else to make use of the RT features of this kernel? Do I need to install
Xenomai 3.x from source?

You need to build and install the userspace library to match that
version of Xenomai..

The version should be reported by 'dmesg' so just get that matching version..

Regards,

I am looking to install Xenomai as well on

lsb_release -a
No LSB modules are available.
Distributor ID: Debian

Description: Debian GNU/Linux 10 (buster)
Release: 10
Codename: buster

Which version of Xenomai should I use

Thanks in advance for your support