Experimenting with Xmos Start Kit
testBlink - Blink the user LEDs alternatively.
testButton - Blink LED on Button press.
Refer XC Programming Guide for details
https://www.xmos.com/en/xc-programming-guide
https://www.xmos.com/download/public/XC-Programming-Guide(X1009B).pdf