arm-trusted-firmware/plat
danh-arm a7e530331d Merge pull request #632 from rockchip-linux/support-for-gpio-driver-v2
rockchip/rk3399: Support the gpio driver and configure
2016-05-27 14:10:42 +01:00
..
arm Add CCN support to FVP platform port 2016-05-25 10:25:16 +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