commit | 7ef4016f26d2468011f9df76340ece00a0fc1161 | [log] [tgz] |
---|---|---|
author | Jerome Forissier <jerome.forissier@linaro.org> | Mon May 05 14:44:56 2025 +0200 |
committer | Jerome Forissier <jerome@forissier.org> | Mon May 05 15:35:36 2025 +0200 |
tree | 7e45ed039f06fd28593b9e091fd0ca67870d3b9b | |
parent | 0259b9eb775246520940d14e69f934178d7de14a [diff] |
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>
This git contains repo manifests to be able to clone all source code needed to be able to setup a full OP-TEE developer build.
All official OP-TEE documentation has moved to http://optee.readthedocs.io. The information that used to be here in this git can be found under manifests.
// OP-TEE core maintainers