Merge pull request #1526 from robertovargas-arm/arm-memprotect
authorDimitris Papastamos <dimitris.papastamos@arm.com>
Wed, 22 Aug 2018 09:23:52 +0000 (10:23 +0100)
committerGitHub <noreply@github.com>
Wed, 22 Aug 2018 09:23:52 +0000 (10:23 +0100)
memprotect: Move files to specific platform makefiles


Trivial merge