There are 2 USB type C ports on the board. You need to use the one close to 3.5mm jack port to flash XMOS’s firmware