Hi all,I'm trying to understand what source the STM32H7 (specifically STM32H743) uses for the TPIU trace clock.According to the RCC chapter there ought to be a multiplexer that allows to choose from a number of sources:According to the debug chapter,...