]> git.baikalelectronics.ru Git - arm-tf.git/commitdiff
Merge pull request #1201 from jeenu-arm/sdei-plat-events
authordavidcunado-arm <david.cunado@arm.com>
Sun, 24 Dec 2017 10:58:53 +0000 (10:58 +0000)
committerGitHub <noreply@github.com>
Sun, 24 Dec 2017 10:58:53 +0000 (10:58 +0000)
ARM platforms: Allow platforms to define SDEI events


Trivial merge