docs: Add SDEI dispatcher documentation
authorJeenu Viswambharan <jeenu.viswambharan@arm.com>
Wed, 18 Oct 2017 13:35:20 +0000 (14:35 +0100)
committerJeenu Viswambharan <jeenu.viswambharan@arm.com>
Mon, 13 Nov 2017 08:38:51 +0000 (08:38 +0000)
commitcafad7be046802ce8c687362e2ec07cbbd7b1a9c
tree13526847798a2305f1712faf1b73edb21d9f6675
parent55a1266ec87b39b5b77341760a40a9a93f590286
docs: Add SDEI dispatcher documentation

The document includes SDEI sequence diagrams that are generated using
PlantUML [1].

A shell script is introduced to generate SVG files from PlantUML files
supplied in arguments.

[1] http://plantuml.com/PlantUML_Language_Reference_Guide.pdf

Change-Id: I433897856810bf1927f2800a7b2b1d81827c69b2
Signed-off-by: Jeenu Viswambharan <jeenu.viswambharan@arm.com>
docs/plantuml/plantuml_to_svg.sh [new file with mode: 0755]
docs/plantuml/sdei_explicit_dispatch.puml [new file with mode: 0644]
docs/plantuml/sdei_explicit_dispatch.svg [new file with mode: 0644]
docs/plantuml/sdei_general.puml [new file with mode: 0644]
docs/plantuml/sdei_general.svg [new file with mode: 0644]
docs/sdei.rst [new file with mode: 0644]