You probably need to check with the circuitpython project. The core python can control the use and allocation of timers and pins. I don’t know what that the particular conflict is, but D6 on the XIAO can also used for the UART TX (D7 is associated with UART RX), and is aligned with SERCOM4 (a SAMD21 serial controller) and TC4 (a SAMD21 timer). There may be an initialization process in circuitpyhon that consumes some of those resources.