Lastly, the vck_190_v1_0_pfm.tcl script creates the bare-metal domain and selects standalone as the operating system and the psv_cortexa72_0 as the processor with the domain create command.
### Create the Standalone domain
domain create -name standalone_domain -os standalone -proc psv_cortexa72_0