| commit | ac4626dc4845a82aa0a86c92134bbd996eaf0357 | [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 | 3c95ea01a263eeb82a7139b260fc7549c387533b [diff] | |
| parent | 7bdf0c1ffab9de48b9e3c7f6959818badbffc232 [diff] |
Merge pull request #1201 from jeenu-arm/sdei-plat-events ARM platforms: Allow platforms to define SDEI events