vchong/build

Makefiles to use OP-TEE on various platforms

Contains the necessary build files to handle OP-TEE for various setups, for now, please see manifest/README.md and OP-TEE/README.md for instructions.