setws {$$${GITSUBSTITUTE_REPO_ROOT}}

##########################################################################################
# Place your custom drivers here
# Copy or uncomment the example line
##########################################################################################
#repo -set {$$${GITSUBSTITUTE_REPO_ROOT}/extern/REPLACE_WITH_PATH_TO_DRIVER}

##########################################################################################
# !!! Leave 'name' unchanged (hw_platform) !!!
# Set the path to the .xsa hardware description file
# Maybe you need to change the other parameters (proc, os, arch, fsbl-target)
##########################################################################################
platform create\
-name {hw_platform}\
-hw {$$${GITSUBSTITUTE_REPO_ROOT}/extern/REPLACE_WITH_PATH_TO_XSA_FILE}\
-proc {psu_cortexa53_0}
-os {standalone}\
-arch {64-bit}\
-fsbl-target {psu_cortexa53_0}\
-out {$$${GITSUBSTITUTE_REPO_ROOT}}