Home
last modified time | relevance | path

Searched hist:"1 dd81b50ad494d1eb5d1a30f3d193fb0a9e1f302" (Results 1 – 1 of 1) sorted by relevance

/optee_os/core/arch/arm/plat-mediatek/
H A Dmain.c1dd81b50ad494d1eb5d1a30f3d193fb0a9e1f302 Thu Feb 13 16:43:20 UTC 2020 Fabien Parent <fparent@baylibre.com> plat-mediatek: Add support for GIC

Add the support for the GIC for the MediaTek platforms.

Signed-off-by: Fabien Parent <fparent@baylibre.com>
Acked-by: Etienne Carriere <etienne.carriere@linaro.org>