This patch updates the ARI header file to v3.1. Change-Id: I3e58cf50d27fb6e72062bb9d9782b75296b32025 Signed-off-by: Varun Wadekar <vwadekar@nvidia.com> |
||
---|---|---|
.. | ||
drivers | ||
plat_psci_handlers.c | ||
plat_secondary.c | ||
plat_setup.c | ||
plat_sip_calls.c | ||
plat_trampoline.S | ||
platform_t186.mk |