Lines Matching refs:driver
735 * drivers: add TZC380 driver ([#1578])
872 * SPI framework and PL022 driver cleanup and improvements
878 * DRA7: add TRNG driver, enable GICv2 driver
906 * The linux driver will set the 'privileged' flag (TEE_GEN_CAP_PRIVILEGED) on
1043 * plat-stm: fix RNG driver (non-flat mapping)
1114 * Added SPI framework and PL022 driver
1116 * GPIO: framework supports multiple instances, PL061 driver now has get/set
1124 of TUI. This includes: a generic framebuffer driver, display and serial
1282 * Generic driver: A new generic TEE driver is in the process of being
1505 * optee.ko, the generic Linux driver. It contains all functionality
1510 Loading the TrustZone optee linux driver module is now performed using