platform: add newly added Rockchip rk3399 and px30 platforms

The px30 and rk3399 SoCs where added to OP-TEE a short while ago,
so update the platform list as well.

rk3399 does have a big number of devices and development-boards
publically available, while the px30 does not.

Signed-off-by: Heiko Stuebner <heiko.stuebner@theobroma-systems.com>
Reviewed-by: Joakim Bech <joakim.bech@linaro.org>
1 file changed
tree: 6291e0eb5b5a142aac96cf52f572a068c384681b
  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.