HiKeyOPTEE

This page is now obsolete and hence contents removed.
All manual instructions previously listed here are now integrated into repo makefiles to automate the build and make building easier.
For instructions on how to use/run the repo makefiles, please go to https://github.com/OP-TEE/optee_os/blob/master/README.md and follow steps:

• 4.1
• 5.1
• 5.2 (with hikey_debian.xml)
• 5.2.3
• 5.5.2
• 6