[ELDK] ELDK with Xenomai on Zynq

[Anup Kini]

HI All,

I am trying to build an kernel with xenomai support for the zynq board.
I looked up the xilinx wiki and found the following:
" Denx  <http://www.denx.de/>5.4 release of ELDK
<http://www.denx.de/wiki/ELDK-5>includes
support for Zynq with included Xenomai  <http://www.xenomai.org/>capabilities.
"
Source: http://www.wiki.xilinx.com/Multi-OS+Support+(AMP+%26+Hypervisor)

I checked the recipe and found no mention of any zynq boards.
Should i add them and then build ??
is there a guide or readme which can point on how to build this kernel for
zynq ?


Thanks,
-- 

*Anup Kini
*Systems Engineer****
*
------------------------------
*

*Synapticon** * |  Cyber-Physical System Solutions ****

Mobile:

Direct:

+49 151 / 638 646 73

+49 7335 / 186 999 21

Fax:****
+49 7335 / 186 999 1


 **

 ****

synapticon.com <http://www.synapticon.com/>  |
@synapticon_co<https://twitter.com/#!/synapticon_co>
****

Synapticon GmbH  |  Hohlbachweg 2  |  73344 Gruibingen, DE
Secretary +49 7335 / 186 999 0  |  General Manager: Nikolai Ensslen
Registry Court Ulm HRB 725114  |  USt-ID DE271647127****

This message and any files transmitted with it are confidential and
intended
solely for the use of the individual or entity to whom they are addressed.
Please notify the sender immediately if you have received this e-mail by
mistake and delete it from your system.