Hello all, As part of the evaluation of the 32MP15 series, I was trying to build the u-boot and TF-A binaries. I tried the u-boot SPL bring up and it seems to be working fine (except for failure to launch the Linux Kernel, as per your late updates). ...