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.
Br, Kari _______________________________________________ Xenomai mailing list [email protected] http://www.xenomai.org/mailman/listinfo/xenomai
