ODYSSEY-STM32MP157C kernel sources?

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