XCore Exchange

Hi,
I've been trying to design an firmware upgrade mechanism for my XMOS based microcontroller. There are specific issues related to this particular microcontroller. I'm wondering if the xrun, xflash utilities are open source? I want to play around with the code and see what works for my particular JTAG hardware.
Thanks.

Only xgdb which is based on GDB is open source. xflash and xrun haven't been made open source.

Can you elaborate on what functionality you are missing in firmware upgrade via xflash?