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
..
common_def.h	Resolve build errors flagged by GCC 6.2	2017-01-26 13:47:37 +00:00
platform.h	Add and use plat_crash_console_flush() API	2017-03-31 09:54:22 +01:00