search

OP-TEE / optee_linuxdriver

Normal world linux driver **deprecated**
GNU General Public License v2.0
66 stars 73 forks source link

Mutex #37

Closed pascal-brand38 closed 8 years ago

jenswi-linaro commented 8 years ago 
Reviewed-by: Jens Wiklander <jens.wiklander@linaro.org>