I have contacted XMOS a number of times about the problem with their community_addition not seeing the XMOS/startkit board in Linux.
I followed their instructions. They have not solved the problem and refuse to give me any more help.
I have sent them the detail results of their instructions and they refuse to help me any more!
I have looked to see if any one else has had similar problems. They have,but, I have not seen any one solve the problems.
At this point I am ready to give up!