tree 423064b16c38602852afaa20d2ab5236fd9b7b30
parent 21568304ef48cb66acc9fb7d89b7d2fa8bd95e48
author Dimitris Papastamos <dimitris.papastamos@arm.com> 1496834521 +0100
committer Dimitris Papastamos <dimitris.papastamos@arm.com> 1497968041 +0100

sp_min: Flush console at end of main()

Flush the console so the errata report is printed correctly
before exit to normal world.

Change-Id: Idd6b5199b5fb8bda9d16a7b5c6426cdda7c73167
Signed-off-by: Dimitris Papastamos <dimitris.papastamos@arm.com>