We have fully working petalinux for our Artix modules, currently tested on TE0710.
Features included/supported
100MBit ethernet (RMII) TE0710, TE0712
Spansion SPI flash 32MByte accessible
SD Card over SPI interface
All those features work in u-boot and in linux as well.
BSP to be released soon.