Merge pull request #124 from 'danh-arm:sm/imf-documentation'
authorDan Handley <dan.handley@arm.com>
Tue, 3 Jun 2014 17:48:27 +0000 (18:48 +0100)
committerDan Handley <dan.handley@arm.com>
Tue, 3 Jun 2014 17:48:27 +0000 (18:48 +0100)

Trivial merge