Lines Matching refs:driver
614 * drivers: add TZC380 driver ([#1578])
751 * SPI framework and PL022 driver cleanup and improvements
757 * DRA7: add TRNG driver, enable GICv2 driver
785 * The linux driver will set the 'privileged' flag (TEE_GEN_CAP_PRIVILEGED) on
922 * plat-stm: fix RNG driver (non-flat mapping)
993 * Added SPI framework and PL022 driver
995 * GPIO: framework supports multiple instances, PL061 driver now has get/set
1003 of TUI. This includes: a generic framebuffer driver, display and serial
1161 * Generic driver: A new generic TEE driver is in the process of being
1384 * optee.ko, the generic Linux driver. It contains all functionality
1389 Loading the TrustZone optee linux driver module is now performed using