On 11/23/2016 12:27 PM, RAGAGLIA Matteo (Matteo) wrote: > Hi everyone, > > I am trying to install Xenomai 3 on Ubuntu 16.04 LTS. > > I cloned the official Xenomai repository > (git://git.xenomai.org/xenomai-3.git) and I took a look at the official > installation guide (https://xenomai.org/installing-xenomai-3-x/). > > Anyway, I did not find the information regarding the proper kernel to patch > and where to get it. > > I was wondering if anyone could provide me some suggestions regarding this > matter.
http://xenomai.org/start-here/#Gathering_the_Linux_kernel_bits http://git.xenomai.org/xenomai-3.git/tree/kernel/cobalt/arch/x86/patches/README?h=stable-3.0.x -- Philippe. _______________________________________________ Xenomai mailing list [email protected] https://xenomai.org/mailman/listinfo/xenomai
