imx-mkimage runs on the build machine, but ucm-imx95-boot used target stdenv
and forced clang. Cross-building the SD image from x86_64 then failed building
mkimage_imx8 with "stdio.h not found", blocking flash.bin.
Build mkimage with buildPackages; keep firmware blobs from target pkgs.
GCC 14+ treats the mismatched TRDC header guard in imx-atf as a hard error
(-Werror=header-guard), so bl31.bin does not build on our pinned revision.
Fetch the upstream fix (e194a14) as a patch without bumping the ATF revision.
The i.MX93 EVK provides a platform for comprehensive evaluation
of the i.MX93 application processors. This change adds support
in NixOS hardware to provide a template for customized i.MX93-based
platforms.
Signed-off-by: Govind Singh <govind.singh@tii.ae>
