Merge pull request #1526 from robertovargas-arm/arm-memprotect
authorDimitris Papastamos <[email protected]>
Wed, 22 Aug 2018 09:23:52 +0000 (10:23 +0100)
committerGitHub <[email protected]>
Wed, 22 Aug 2018 09:23:52 +0000 (10:23 +0100)
memprotect: Move files to specific platform makefiles


Trivial merge