Experimenting with Xmos Start Kit
testBlink - Blink the user LEDs alternatively.
testButton - Blink LED on Button press.
gen-burnData.py - burnData header-file generator from xobjdump output binary file for dynamic loading via USB
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