On 06/15/2014 12:34 AM, Konstantin Schauwecker wrote: > Hi all, > > I was trying to get xenomai running on my zynq board. Unfortunately > there seems to be a patch missing in the current 2.6.3 release. See: http://www.wiki.xilinx.com/Xenomai+for+Zynq -- Gilles.