Info on ODYSSEY STM32MP157C and linux version / DTS selection

Hi,
I’m following ST wiki regarding STM32MP157C-DK2, using it I’ve build linux-stm32mp-5.4.31.r0 but there isn’t the dts for ODYSSEY STM32MP157C available in it.
I’ve seen that for ODYSSEY STM32MP157C it is available only Linux 4.19.9


and u-boot:

and these overlays:

but these overlays can be used for linux-stm32mp-5.4.31.r0?
I’ve to use sudo make install_rpi in this case?

Thanks,
Antonio

We do not currently support the 5.4 kernel.Consider supporting it in the future.What kind of project are you going to do with this product?