hikey+debian: Use 96boards-hikey remote for burn-boot repo

Instead of 96boards remote, use 96boards-hikey since they're essentially
the same. This way we don't have to maintain another remote.

Signed-off-by: Victor Chong <victor.chong@linaro.org>
Acked-by: Jens Wiklander <jens.wiklander@linaro.org>
2 files changed
tree: b6c8f0506d8f9124cb4ff88a3a1cd9f9d50ba279
  1. .travis.yml
  2. am43xx.xml
  3. am43xx_stable.xml
  4. am57xx.xml
  5. am57xx_stable.xml
  6. default.xml
  7. default_stable.xml
  8. dra7xx.xml
  9. dra7xx_stable.xml
  10. fvp.xml
  11. fvp_stable.xml
  12. hikey.xml
  13. hikey960.xml
  14. hikey_debian.xml
  15. hikey_debian_stable.xml
  16. hikey_stable.xml
  17. juno.xml
  18. juno_stable.xml
  19. mt8173-evb.xml
  20. mt8173-evb_stable.xml
  21. qemu_v8.xml
  22. qemu_v8_stable.xml
  23. README.md
  24. rpi3.xml
  25. rpi3_stable.xml
  26. travis.xml
README.md

Repo manifest for OP-TEE development

In the OP-TEE project we try to gather all documentation under the optee_os git, therefore we recommend that you read the instructions at this page which describes how to setup OP-TEE on various platforms.