tree 7b543f2e311a9661dd8d4e4df927bc4386f79f0b
parent 801cf93c48585a83fda5d576b25c7b7f3cd59259
author Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1487261839 +0000
committer Antonio Nino Diaz <antonio.ninodiaz@arm.com> 1490950462 +0100

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>