Merge pull request #351 from davwan01/davwan01/docs-update
authordanh-arm <dan.handley@arm.com>
Tue, 4 Aug 2015 08:13:53 +0000 (09:13 +0100)
committerdanh-arm <dan.handley@arm.com>
Tue, 4 Aug 2015 08:13:53 +0000 (09:13 +0100)
Some minor fixes to interrupt-framework-design.md


Trivial merge