OP-TEE development