On Mon, Apr 18, 2016 at 03:46:52PM +0300, Ran Shalit wrote:
> I see in I-PIPE patch that kernel 3.12 is not provided in the link for
> arm linux:
> 
> https://xenomai.org/downloads/ipipe/v3.x/arm/older/
> 
> Is there some way to use kernel 3.12 with Xenomai ?

We have done it in the past (by backporting the 3.14 patch to 3.12),
but it is not officially supported by xenomai.

We have since moved to 3.14 which made things simpler overall than
sticking with 3.12.

-- 
Len Sorensen

_______________________________________________
Xenomai mailing list
[email protected]
https://xenomai.org/mailman/listinfo/xenomai

Reply via email to