What kernel source does the ODYSSEY-STM32MP157C board use? I can’t find it online, nor can I find DTS files aside from a builder. I haven’t dug in to the firmware image but I’d rather find out properly from here.
Hi @166291: you can get source code by accessing our github