Pour Xena/XMOS, c'est dans le SDK officiel ou via un téléchargement additionnel.
Pour le FPGA de la 460, il y a ceci :
http://www.acube-systems.biz/download/fpga_res-53.1.lha
Maintenant pour l'utilisation, c'est à voir avec nos chers developpeurs...
A1200PPC / Sam440ep / Sam460ex / X1000 / X5000