The latest version of XMOS's development tools is now available to download.xTIMEcomposer v13.2 includes support for xCORE XA, XMOS's ARM-based silicon. Have a look at the release notes for more details.

Also, Have a look at the latest xTIMEcomposer user guide which includes information about development on xCORE-XA devices.