ARM-software/arm-trusted-firmware — pull request #124 by danh-arm (2014-06-03 17:46:29+00:00)
Title: Document design of the Interrupt Mangement Framework

Rebased version of #123 to resolve merge conflict