| .. _linux_kernel: |
| |
| ########################## |
| Linux kernel TEE framework |
| ########################## |
| |
| .. todo:: |
| |
| Joakim: Jens to fill in information in the following sections. Eventually |
| this should be split up as two files, one under "Build and Run" and one |
| under "Architecture documentation". |
| |
| History |
| - Refer to the patch when it was merged. |
| - Mention old and deprecated optee_linux driver. |
| |
| Maintainer |
| - Jens and ... ? |
| |
| Maillists |
| - Mention the get_maintainer script in kernel. |
| - Tee-dev? (:ref:`contact`). |
| |
| Build instructions |
| - How to enable it in kernel |
| |
| KConfig flags |
| - What flags to enable to run OP-TEE. |
| - Reference to :ref:`optee_benchmark`. |
| |
| Device Tree |
| - What nodes/thing are important for OP-TEE. |
| - Are OP-TEE DT things upstream? If not, why? |
| |
| TEE kernel Internal Client API |
| - What is it? |
| - How can I use it? |
| - Is it upstream? If not, why? |
| |
| Differences between kernel.org and linaro-swg/linux |
| - Why do we have a separate fork? |
| - Features being developed. |
| - Not meant to go upstream. |
| - Should people send patches to the mailinglist or create PRs at |
| linaro-swg/linux? |
| |
| External references |
| - (Links to) Documentation in the official kernel? |