tree 25e361edadc2b43c7a1a2415adf78968824d7fbe
parent 036955a60fc530cec40bf644110cf7d7c9a30a8e
parent 6e284468cc2de16a26cce7b8284fa63e468034e3
author davidcunado-arm <david.cunado@arm.com> 1514113133 +0000
committer GitHub <noreply@github.com> 1514113133 +0000

Merge pull request #1201 from jeenu-arm/sdei-plat-events

ARM platforms: Allow platforms to define SDEI events