vck_190_v1_0_pfm.tcl script creates a Linux domain and selects
linux as the operating system and the
psv_cortexa72 as the processor with the
domain create command. This domain uses the pre-build XRT Linux image when creating the PetaLinux project. It sets the
qemu-data with the
domain config command.