Leon Chen c1ff80b128 Support for Mediatek MT6795 SoC ...

This patch support single core to boot to Linux kernel
through Trusted Firmware.
It also support 32 bit kernel and 64 bit kernel booting.

2016-09-12 17:13:55 +08:00

..

arch_helpers.h

Support for Mediatek MT6795 SoC

2016-09-12 17:13:55 +08:00

arch.h

Automatically select initial xlation lookup level

2016-08-23 10:51:44 +01:00

smcc_helpers.h

AArch32: Add API to invoke runtime service handler

2016-08-10 12:35:46 +01:00