From mboxrd@z Thu Jan 1 00:00:00 1970 From: Nitin Kulkarni Date: Thu, 23 Feb 2017 14:04:18 +0000 Message-ID: <1487858660615.24262@kth.se> Content-Language: en-US MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Subject: [Xenomai] Where can I find the ipipe patch for linux kernel v4.4.y List-Id: Discussions about the Xenomai project List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: "xenomai@xenomai.org" Hi, 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/v= 4.x/x86/? is 4.1.18. Can you please give some insights on where to get the patch for 4.4 ? Regards, Nitin