Version 14.2.2 of the XMOS development tools has just been released:
http://www.xmos.com/support/tools.
Please see release notes for details:
https://www.xmos.com/published/tools-re ... ver=latest
https://www.xmos.com/published/tools-re ... ver=latest
Regards,
Huw