Getting started with STM32MP157F-EV1

Any plans on updating the Debian build for the STM32MP157 to include the STM32MP157F-EV1?

I built and successfully booted a STM32MP157F-EV1 to a login prompt following the Debian: Getting Started with the STM32MP157 for the STM32MP157C-EV1.

I tried building u-boot from GitHub - STMicroelectronics/u-boot: "Das U-Boot" Source Tree using make ARCH=arm CROSS_COMPILE=${CC} DEVICE_TREE=stm32mp157f-ev1 all. This was successful and ran OK but got the error:
Failed to load ‘/boot/dtbs/5.10.41-armv7-lpae-x42.1/stm32mp157f-ev1.dtb’

Then I tried copying the device tree files from the u-boot dts directory to the kernel dts directory but the dtc fails when building the kernel.

Hi @Ray4000 , use the “stm32mp157c-ev1” option for the stm32mp157f-ev1…