Linux kernel driver for the TEE Emulator