On Fri, Oct 9, 2020 at 2:39 PM Robert Heller <
hel...@deepsoft.com> wrote:
>
> At Fri, 9 Oct 2020 12:38:29 -0500
beagl...@googlegroups.com wrote:
>
> >
> > On Fri, Oct 9, 2020 at 12:29 PM Robert Heller <
hel...@deepsoft.com> wrote:
> > >
> > > 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?