This section describes how to boot a PetaLinux image on hardware with an SD Card.
Important: This section is only
for devices that allow booting from SD cards. This includes AMD Versal™
adaptive SoCs, AMD Zynq™
UltraScale+™ MPSoCs, and Zynq 7000 devices.