Merge pull request #1500 from danielboulby-arm/db/RORedirection
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Tue, 31 Jul 2018 15:09:07 +0000 (16:09 +0100)
committerGitHub <noreply@github.com>
Tue, 31 Jul 2018 15:09:07 +0000 (16:09 +0100)
Set console function pointers to const


Trivial merge