diff options
| author | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2017-02-17 17:11:27 +0000 |
|---|---|---|
| committer | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2017-03-31 09:54:22 +0100 |
| commit | 801cf93c48585a83fda5d576b25c7b7f3cd59259 (patch) | |
| tree | 7cd2ad556c586014ae34bb7b1925a0738d44e273 /bl1 | |
| parent | ad4c2ec6880f2f13f36e46a2bc3b624525b89c15 (diff) | |
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>
Diffstat (limited to 'bl1')
0 files changed, 0 insertions, 0 deletions