Jens Wiklander
4fb0a5eb36
tee: add OP-TEE driver
|
10 years ago | |
|---|---|---|
| .. | ||
| Kconfig | 8 years ago | |
| Makefile | 8 years ago | |
| call.c | 8 years ago | |
| core.c | 8 years ago | |
| optee_msg.h | 8 years ago | |
| optee_private.h | 8 years ago | |
| optee_smc.h | 8 years ago | |
| rpc.c | 8 years ago | |
| supp.c | 8 years ago | |