Hi Jam,
Yup it uses the xmos chips, we chose that as it was the best option. I didn't knew about that, I was actually worried if the xmos will run in Linux. Thanks for the info, I'm on the email list and once the RPI is available again they'd send me an alert.