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

Fixes issues #104 and #134