What I am trying to do is to have a working Linux kernel with rootfs running on STM32F769I discovery board.
I built the u-boot, kernel and device tree for it using Buildr