tree 2bdfb5a1804540fc592d9465ead8e36655511ce6
parent 9ea0885acae068245a6d4522f855d161a981854a
parent 4c8138a1a6816e8564836603701779c62406aaa9
author Dimitris Papastamos <dimitris.papastamos@arm.com> 1528983193 +0100
committer GitHub <noreply@github.com> 1528983193 +0100

Merge pull request #1415 from antonio-nino-diaz-arm/an/spm-fixes

Minor fixes to SPM