Lines Matching refs:driver

1065 * drivers: add TZC380 driver ([#1578])
1202 * SPI framework and PL022 driver cleanup and improvements
1208 * DRA7: add TRNG driver, enable GICv2 driver
1236 * The linux driver will set the 'privileged' flag (TEE_GEN_CAP_PRIVILEGED) on
1373 * plat-stm: fix RNG driver (non-flat mapping)
1444 * Added SPI framework and PL022 driver
1446 * GPIO: framework supports multiple instances, PL061 driver now has get/set
1454   of TUI. This includes: a generic framebuffer driver, display and serial
1612 * Generic driver: A new generic TEE driver is in the process of being
1835 *	optee.ko, the generic Linux driver. It contains all functionality
1840 Loading the TrustZone optee linux driver module is now performed using