GitHub repository: xiaoqiangdu/optee_linuxdriver
Description: Normal world linux driver