Merge pull request #885 from antonio-nino-diaz-arm/an/console-flush
authordavidcunado-arm <david.cunado@arm.com>
Wed, 12 Apr 2017 21:23:44 +0000 (22:23 +0100)
committerGitHub <noreply@github.com>
Wed, 12 Apr 2017 21:23:44 +0000 (22:23 +0100)
Implement console_flush()

1  2 
docs/porting-guide.md
include/plat/common/platform.h

Simple merge
Simple merge