Regarding Xenomai patch to the kernel 4.15.38

gopi ratnakaram gopi.ratnakaram at svayarobotics.com
Mon Mar 30 10:53:02 CEST 2020


Team,

I have a specific requirement that where i need to patch xenomai 3 to my
linux kernel 4.15.38 which is running on Ubuntu16.04/Ubuntu18.04. When I
try checking with the following help from

https://www.xenomai.org/pipermail/xenomai/2018-June/039004.html

But, I was unable to apply/create arch specific packages.

Is it possible to create ipipe patch to the corresponding kernel 4.15.38,
if yes please let me know required steps to do the same.

--best regards,
Gopal,


More information about the Xenomai mailing list