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