On Mon, Jul 22, 2013 at 06:26:14PM +0300, Kari Kumpulainen wrote: > Which kernel and Xenomai versions should I use if I want to build Xenomai > support for a Zynq (Xilinx) chip? > I tried to patch the 3.5 kernel provided by Xilinx, but patching failed > because of conflicts in some files.
I believe satndard practice is: Get the kernel.org kernel with the version xenomai has a patch for, then apply the xenomai patch, then add any extra patches needed for your system, fixing any conflicts and issues that come up. -- Len Sorensen _______________________________________________ Xenomai mailing list [email protected] http://www.xenomai.org/mailman/listinfo/xenomai
