Merge pull request #1500 from danielboulby-arm/db/RORedirection
authorDimitris Papastamos <[email protected]>
Tue, 31 Jul 2018 15:09:07 +0000 (16:09 +0100)
committerGitHub <[email protected]>
Tue, 31 Jul 2018 15:09:07 +0000 (16:09 +0100)
Set console function pointers to const


Trivial merge