Merge pull request #1852 from sandrine-bailleux-arm/sb/fix-intmgt-doc
authorAntonio Niño Díaz <antonio.ninodiaz@arm.com>
Mon, 4 Mar 2019 17:05:19 +0000 (17:05 +0000)
committerGitHub <noreply@github.com>
Mon, 4 Mar 2019 17:05:19 +0000 (17:05 +0000)
commit8b02aaed4f8216a3b534882fbbb87bbe076c15cd
treee15049b46bd9f011e4bc25b24c0593827a64c787
parentc9aa2786f350dfe5be9fa1329dbeea70395d79f6
parentbd587e8375ca2cd17835c30615b4c852997a0195
Merge pull request #1852 from sandrine-bailleux-arm/sb/fix-intmgt-doc

Minor fixes in the interrupt framework design guide