By the way, it seems fairly tricky to find so here's a link to the official XMOS support ticket interface:
https://www.xmos.com/rt3/SelfService/Cr ... Queue.html
Available in "Support -> Contact -> Create a ticket" through the site navigation.
You will need to login/register to use this link.
Jonathan
XMOS Support Tickets
Thanks for pointing at this resource.
Way to be!
Shawn
Way to be!
Shawn