1. 617d8e8 optee: sync OP-TEE headers by Jens Wiklander ยท 4 years ago