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.

source code:
drivers/tee/optee/