diff options
author | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2017-02-16 16:17:19 +0000 |
---|---|---|
committer | Antonio Nino Diaz <antonio.ninodiaz@arm.com> | 2017-03-31 09:54:22 +0100 |
commit | 0b32628eddfef95b51909816f625e6f37cd21cb8 (patch) | |
tree | 7b543f2e311a9661dd8d4e4df927bc4386f79f0b /common | |
parent | 801cf93c48585a83fda5d576b25c7b7f3cd59259 (diff) |
Flush console where necessary
Call console_flush() before execution either terminates or leaves an
exception level.
Fixes: ARM-software/tf-issues#123
Change-Id: I64eeb92effb039f76937ce89f877b68e355588e3
Signed-off-by: Antonio Nino Diaz <antonio.ninodiaz@arm.com>
Diffstat (limited to 'common')
0 files changed, 0 insertions, 0 deletions