Currently the OP-TEE documentation is spread among different gits and op-tee.org? I would like to have a discussion how to shape up our documentation a bit. Markdown vs rst? Sphinx is a good candidate, but require that all docs is under the same root.