tree 60ea7939efc1989825c7d67f251d91c45f159c81
parent 6de7c00c14aefeda0de6c5f8d22787bc217053d9
parent c639e8ebeeb152fc32f2feff65c84a37825400b3
author davidcunado-arm <david.cunado@arm.com> 1508620728 +0100
committer GitHub <noreply@github.com> 1508620728 +0100

Merge pull request #1130 from jeenu-arm/gic-patches

New GIC APIs and specifying interrupt propertes