...
Copy the BOOT.BIN, boot.scr, Image and rootfs.cpio.gz.u-boot to SD card and boot.
Upon booting the VHK158, you can see the below serial prints that indicate the system boot from HBM memory:
...
Related Links
Boards Board Page - Versal HBM Series VHK158 Evaluation Kit
...