** Note ** This repository is not maintained anymore. Please see https://github.com/jforissier/optee_build (branch hikey) for a more up-to-date environment (based on git submodules, like this one).
If you don't mind using Google's repo tool, please use
https://github.com/OP-TEE/manifest (which is the official
master project for OP-TEE). The manifest for HiKey is hikey.xml.