tree 7e45ed039f06fd28593b9e091fd0ca67870d3b9b
parent 0259b9eb775246520940d14e69f934178d7de14a
author Jerome Forissier <jerome.forissier@linaro.org> 1746449096 +0200
committer Jerome Forissier <jerome@forissier.org> 1746452136 +0200

qemu_v8: clone Xen from its GitHub mirror

Use https://github.com/xen-project/xen.git rather than
https://xenbits.xen.org/git-http/xen.git for reliability reasons. From
the OP-TEE OS CI logs:

 repo has been initialized in /__w/optee_test/optee_repo_qemu_v8
 error: Cannot fetch git-http/xen.git from https://xenbits.xen.org/git-http/xen.git
 fatal: unable to access 'https://xenbits.xen.org/git-http/xen.git/': Failed to connect to xenbits.xen.org port 443 after 135097 ms: Could not connect to server

Signed-off-by: Jerome Forissier <jerome.forissier@linaro.org>
Reviewed-by: Joakim Bech <joakim.bech@linaro.org>