Searched hist:c640d6ef68144723f0ae9ab6e1543f872aaead56 (Results 1 – 3 of 3) sorted by relevance
| /optee_os/core/arch/arm/plat-ti/ | ||
| H A D | conf.mk | c640d6ef68144723f0ae9ab6e1543f872aaead56 Tue Nov 15 21:10:45 UTC 2016 Andrew F. Davis <afd@ti.com> plat-ti: Enable GIC driver support for DRA7xx |
| H A D | platform_config.h | c640d6ef68144723f0ae9ab6e1543f872aaead56 Tue Nov 15 21:10:45 UTC 2016 Andrew F. Davis <afd@ti.com> plat-ti: Enable GIC driver support for DRA7xx |
| H A D | main.c | c640d6ef68144723f0ae9ab6e1543f872aaead56 Tue Nov 15 21:10:45 UTC 2016 Andrew F. Davis <afd@ti.com> plat-ti: Enable GIC driver support for DRA7xx |