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)
commit5326993286814d54a5dd52bdcd8a023553e83200
tree4a64611cb1aaa3e8e199e4bc4c403cab72de45fc
parent7c3a0b01396ead4c7cb4ce2f8c1093b3c27303cc
parent9d57a147b837709f3529685ee1f1023e7e492e0a
Merge pull request #1526 from robertovargas-arm/arm-memprotect

memprotect: Move files to specific platform makefiles