[Xenomai] Where can I find the ipipe patch for linux kernel v4.4.y

Nitin Kulkarni nitink at kth.se
Thu Feb 23 15:04:18 CET 2017


I am trying to apply the ipipe patch to an Ostro distribution which has a 4.4.36 Kernel.

I see that the latest I pipe patch on https://xenomai.org/downloads/ipipe/v4.x/x86/? is 4.1.18.

Can you please give some insights on where to get the patch for 4.4 ?



More information about the Xenomai mailing list