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>
1 file changed
tree: 7e45ed039f06fd28593b9e091fd0ca67870d3b9b
  1. .travis.yml
  2. am43xx.xml
  3. am57xx.xml
  4. common.xml
  5. default.xml
  6. dra7xx.xml
  7. fvp-ts.xml
  8. fvp.xml
  9. hikey.xml
  10. hikey960.xml
  11. imx.xml
  12. juno.xml
  13. LICENSE
  14. make_stable.sh
  15. nanopc-t6.xml
  16. poplar.xml
  17. qemu_v8.xml
  18. README.md
  19. rockpi4.xml
  20. rpi3.xml
  21. stm32mp1.xml
  22. synquacer.xml
  23. versal.xml
  24. versal2.xml
  25. versal_net.xml
  26. zynqmp.xml
README.md

Repo manifest for OP-TEE development

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