Is there at least someone who managed to work with the GPIO pins of the 40-pin ODYSSEY STM32MP157C connector via Python? I can’t find a working example of how to control these GPIO pots on this kit. Nothing work so far. As if they were permanently disabled in the system. Is there a way to enable them? At RaspberryPI, everything works without problems.