[Xenomai] kernel 3.12

Ran Shalit ranshalit at gmail.com
Mon Apr 18 14:46:52 CEST 2016


Hello,


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 ?


Thank you,
Ran



More information about the Xenomai mailing list