OP-TEE
modulename: optee.ko
configname: CONFIG_OPTEE
Linux Kernel Configuration
└─>Device Drivers
└─>TEE drivers
└─>OP-TEE
In linux kernel since version 3.10 (release Date: 2013-06-30)
This implements the OP-TEE Trusted Execution Environment (TEE)
driver.
driver.