Standard Linux tools
QorIQ SDK V1.2+
Following online instructions has been insufficient for successfully booting P4080DS firmware directly from an SD card. The articles at ‘https://community.nxp.com/community/qoriq’, while helpful, are not simple to follow and some steps are unclear.
Creating a bootable SD card seems to require the ‘boot_format’ tool, which needs a hardware specific ‘*.dat’ file, as well as a U-Boot image, kernel image, flat device tree file, and root file system. The availability, location, and deployment of the files required by ‘boot_format’ does not seem to be clearly stated, and the process does not seem to be well documented (especially for the newer boards). For one example, the ‘rootfs.gz’ derived from the QorIQ SDK complains that it is not in gzip format, which leads to questions of how to obtain the proper ‘rootfs.gz’ file (or properly use the existing one). For another example, there are no ‘*.dtb’ files named ‘mpc8536ds.dtb’ as suggested by documentation. The overall ambiguity of the process makes it unclear which step could be causing the problem of booting the P4080DS from an SD card.
Please use the latest Linux SDK v.2.0, it builds all required components (including U-Boot image with applied header data - i.e. ready to be written onto the SD card "as is") by default.
For a test purpose it is possible to take pre-built images provided in the QorIQ Linux SDK v2.0 PPCE500MC IMAGE.iso
From the QorIQ SDK v2.0-1701 Documentation in the Deploy U-Boot, Linux Kernel, and Root Filesystem to a Reference Design Board (RDB) P4080DS Deployment, SD Card section you can see where to deploy the fman ucode and uboot.bin generated from yocto. You can use a typical Linux tool, dd, to place the two file on the sd card in the correct location.