This workflow here shows the steps used to integrate the OSD32MP1-BRK into the OpenSTLinux distribution. Octavo Systems provides a set of patches for the TF-A, U-boot, and the Linux kernel. Once designers download these patches they then apply them to each component after they are downloaded. Once the patched components are built, copy those binaries into the starter package. That is all there is to it.