diff options
| author | Paul Beesley <paul.beesley@arm.com> | 2019-04-11 13:35:26 +0100 |
|---|---|---|
| committer | Paul Beesley <paul.beesley@arm.com> | 2019-04-11 13:43:52 +0100 |
| commit | 573b4cd22698e8a4b39df2573e2e501b7538279e (patch) | |
| tree | c0390db7d855ca09fbc19e68dbfc95e90360c200 /docs/platform-interrupt-controller-API.rst | |
| parent | 551631aa58aff80e087f75a6afd822bf1624f4f6 (diff) | |
doc: Clarify cert_create build when USE_TBBR_DEFS=0
The user guide documentation for the cert_create tool needs to
mention that a platform must have a platform_oid.h header file
in order to successfully build the cert_create tool when
USE_TBBR_DEFS is 0.
Change-Id: I77f86a022d207e88a79c97741be3eafbfa0c86f1
Signed-off-by: Paul Beesley <paul.beesley@arm.com>
Diffstat (limited to 'docs/platform-interrupt-controller-API.rst')
0 files changed, 0 insertions, 0 deletions