Regarding Xenomai patch to the kernel 4.15.38

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


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

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,

More information about the Xenomai mailing list