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 _______________________________________________ Xenomai mailing list [email protected] https://xenomai.org/mailman/listinfo/xenomai
