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