plat-mediatek: Add support for GIC Add the support for the GIC for the MediaTek platforms. Signed-off-by: Fabien Parent <fparent@baylibre.com>
This git contains source code for the secure side implementation of OP-TEE project.
All official OP-TEE documentation has moved to http://optee.readthedocs.io.
// OP-TEE core maintainers