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
..
plat_common.c	Simplify translation tables headers dependencies	2017-03-08 14:40:27 +00:00
platform_helpers.S	Add and use plat_crash_console_flush() API	2017-03-31 09:54:22 +01:00
platform_mp_stack.S	AArch32: Enable override of plat_set_my_stack/plat_get_my_stack	2017-03-02 15:43:17 +00:00
platform_up_stack.S	Move plat/common source file definitions to generic Makefiles	2017-03-20 14:58:25 +00:00