tree 7cd2ad556c586014ae34bb7b1925a0738d44e273
parent 56ec1d541caab949d1399aece93b41404b60e3f2
author Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1487351487 +0000
committer Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1490950462 +0100

Add and use plat_crash_console_flush() API

This API makes sure that all the characters sent to the crash console
are output before returning from it.

Porting guide updated.

Change-Id: I1785f970a40f6aacfbe592b6a911b1f249bb2735
Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>