Hi,
Here's next revision of the patch. I've added another a new for the generic driver which I think we should call "generic TEE subsystem" instead.
Changes in V3: * Some small changes in the "tee: add user space interface"
* New patch for the subsystem implementation
Jens Wiklander (2): tee: add user space interface tee: generic TEE subsystem
Documentation/ioctl/ioctl-number.txt | 1 + drivers/Kconfig | 2 + drivers/Makefile | 1 + drivers/sec-hw/Kconfig | 33 +++++ drivers/sec-hw/Makefile | 3 + drivers/sec-hw/optee/Kconfig | 22 +++ drivers/sec-hw/optee/Makefile | 1 + drivers/sec-hw/optee/optee.c | 174 ++++++++++++++++++++++ drivers/sec-hw/tee.c | 233 +++++++++++++++++++++++++++++ drivers/sec-hw/tee_private.h | 39 +++++ drivers/sec-hw/tee_shm.c | 279 +++++++++++++++++++++++++++++++++++ include/linux/sec-hw/tee.h | 172 +++++++++++++++++++++ include/linux/sec-hw/tee_drv.h | 155 +++++++++++++++++++ 13 files changed, 1115 insertions(+) create mode 100644 drivers/sec-hw/Kconfig create mode 100644 drivers/sec-hw/Makefile create mode 100644 drivers/sec-hw/optee/Kconfig create mode 100644 drivers/sec-hw/optee/Makefile create mode 100644 drivers/sec-hw/optee/optee.c create mode 100644 drivers/sec-hw/tee.c create mode 100644 drivers/sec-hw/tee_private.h create mode 100644 drivers/sec-hw/tee_shm.c create mode 100644 include/linux/sec-hw/tee.h create mode 100644 include/linux/sec-hw/tee_drv.h