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
Versal™
ACAPs,
Zynq®
UltraScale+™ MPSoCs, and Zynq-7000 devices.