Resolved! How to configure Device Trees (TF-A/UBoot/Kernel) to output the MCO2 clock on an external pin of the STM32MP15x?
Here the relevant parts of my device trees:******************TF-A*******************&pinctrl { rcc_pins_mx: rcc_mx-0 { pins { pinmux = <STM32_PINMUX('G', 2, AF1)>; /* RCC_MCO_2 */ bias-disable; drive-push-pull; slew-rate = <2>; }; };...