tree 07b754098ee8b244ef8f478c68d3352f3052e559
parent 8e923323ce21f761a950f13b7479fb72927f2882
author Roberto Vargas <roberto.vargas@arm.com> 1505208515 +0100
committer Roberto Vargas <roberto.vargas@arm.com> 1507894787 +0100

Update documentation to PSCI v1.1

This patch adds documentation about the new PCSI API to the porting guide
and it also update the version and function list in the firmware design.

Change-Id: Ie4edd190926a501922c061f5fcad53c9b389e331
Signed-off-by: Roberto Vargas <roberto.vargas@arm.com>