API interface to the OP-TEE TrEE driver. - View it on GitHub