Caesar Wang 86c253e450 rockchip: support system off function for rk3399 ...

if define power off gpio, BL31 will do system power off through
gpio control.

2016-05-27 09:39:56 +08:00

..

arm

Replace SP804 timer by generic delay timer on FVP

2016-05-20 15:29:30 +01:00

common

Add 32 bit version of plat_get_syscnt_freq

2016-05-20 15:29:03 +01:00

compat

PSCI: Implement platform compatibility layer

2015-08-13 20:08:19 +01:00

mediatek

Replace MediaTek delay timer by generic one

2016-05-20 15:29:30 +01:00

nvidia/tegra

Implement plat_get_syscnt_freq2 on platforms

2016-05-20 15:29:30 +01:00

rockchip

rockchip: support system off function for rk3399

2016-05-27 09:39:56 +08:00

xilinx/zynqmp

Implement plat_get_syscnt_freq2 on platforms

2016-05-20 15:29:30 +01:00