Next, the 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 boot, bif, pmcqemu-args, qemu-args, and qemu-data with the domain config command.