Any ready to go Linux images for STM32F4/F7?

[Uwe Bonnes]

Hello,

are there any ready to use linux images for STM32F4/F7 beside the 2.4 uCLinux image for the f4 disco from 2013?

https://github.com/fdu is a good start, but I can not get uBoot to recognize the files on the SD card.