| commit | e078dc8c70c38223610374e5e7ee4fd4ca7ea11c | [log] [tgz] |
|---|---|---|
| author | davidcunado-arm <david.cunado@arm.com> | Sun Dec 24 10:58:53 2017 +0000 |
| committer | GitHub <noreply@github.com> | Sun Dec 24 10:58:53 2017 +0000 |
| tree | 25e361edadc2b43c7a1a2415adf78968824d7fbe | |
| parent | 036955a60fc530cec40bf644110cf7d7c9a30a8e [diff] | |
| parent | 6e284468cc2de16a26cce7b8284fa63e468034e3 [diff] |
Merge pull request #1201 from jeenu-arm/sdei-plat-events ARM platforms: Allow platforms to define SDEI events