Merge pull request #1675 from SNG-ARM/integration
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Thu, 15 Nov 2018 10:20:03 +0000 (11:20 +0100)
committerGitHub <noreply@github.com>
Thu, 15 Nov 2018 10:20:03 +0000 (11:20 +0100)
commit35c4b414be0841b7da63ceb1b5eb6ccfed5dc686
treee9081f7a1cfeb20d5ed368d6e80632655b6c793d
parenta6febeab812269d68ac4dae3e0e6c2adb88fb2aa
parent6e3bad36c8634d6f6a252b28c562077e141bebd3
Merge pull request #1675 from SNG-ARM/integration

SPM priority level changes