rpi: update documentation regarding RPi4

RPi4 is not yet supported in the official builds coming from the OP-TEE
project, update the table of supported RPi devices to reflect that.

Signed-off-by: Kunal Mukherjee <kunmukh@gmail.com>
Reviewed-by: Joakim Bech <joakim.bech@linaro.org>
1 file changed
tree: 96e11728a398e500a19c03ec0362c5b22143eea4
  1. _static/
  2. architecture/
  3. building/
  4. debug/
  5. faq/
  6. general/
  7. images/
  8. .gitignore
  9. .travis.yml
  10. conf.py
  11. index.rst
  12. LICENSE
  13. Makefile
  14. README.md
README.md

OP-TEE documentation

This is official documentation for the OP-TEE project. Before OP-TEE v3.5.0 it used to be spread across all different OP-TEE gits making up the OP-TEE project as well as optee.org. But starting with OP-TEE v3.5.0 we have gathered all documentation at single place (i.e., this git).

Even though GitHub renders *.rst somewhat OK, you are not suppossed to browse the documentation there/here. Instead you should go to optee.readthedocs.io, where you will find the complete documentation rendered using Sphinx.