On Linux, set up the Vivado environment in a terminal window by sourcing <Vivado_install_path>/settings64.sh
To build the Vivado project using the provided Makefile, type the following in the $REPO_SRC directory (substitute vmk180 for other build options):
make build_hw BOARD=vck190 SIL=prod
The result of this operation will be an XSA file in output/vck190-prod-base/reference_images/versal_restart_trd_wrapper.xsa which will be used by Petalinux in the software section.
To see more Makefile options:
make help