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)
commitf07d3985b86acc6abc963924d82c9ba9a795fb22
tree1c516dd4d561e9a71ea1fc8b9b6527b78cff0d21
parent45cd814bf71b311686db9fa65f78171ba5abf02f
parent1e09ff93444943edcebfb167202f37a5e7913d92
Merge pull request #885 from antonio-nino-diaz-arm/an/console-flush

Implement console_flush()
docs/porting-guide.md
include/plat/common/platform.h