Skip to content

Fix OP-TEE driver

Fix OP-TEE driver #626