On Mon, Jul 22, 2013 at 11:26 AM, Kari Kumpulainen <[email protected]> wrote: > Hello, > > 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.
There are a couple projects on github which should get you started. Note that I haven't updated either of these for a while: 3.5 based kernel: https://github.com/mfornero/ipipe This is a merge of the Xilinx 3.5 tree and the ipipe 3.5 tree. Both are now fairly out of date 3.8 based kernel: use the patches and readme found here: https://github.com/mfornero/xenomai/tree/for-upstream/ksrc/arch/arm/patches I believe the later will be merged into the Xenomai tree at some point. Best Regards, Matt Fornero _______________________________________________ Xenomai mailing list [email protected] http://www.xenomai.org/mailman/listinfo/xenomai
