ARM-software/arm-trusted-firmware — pull request #80 by achingupta (2014-05-16 19:51:27+00:00)
Title: Introduce interrupt management framework in BL3-1

Fixes issues #104 and #134