Antonio Nino Diaz 801cf93c48 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>		2017-03-31 09:54:22 +01:00
..
bl31_entrypoint.S	Merge pull request #860 from jeenu-arm/hw-asstd-coh	2017-03-17 12:34:37 +00:00
crash_reporting.S	Add and use plat_crash_console_flush() API	2017-03-31 09:54:22 +01:00
runtime_exceptions.S	Define and use no_ret macro where no return is expected	2016-12-05 14:55:35 +00:00