diff options
Diffstat (limited to 'docs/spd')
| -rw-r--r-- | docs/spd/optee-dispatcher.md | 13 | ||||
| -rw-r--r-- | docs/spd/optee-dispatcher.rst | 14 | ||||
| -rw-r--r-- | docs/spd/tlk-dispatcher.rst (renamed from docs/spd/tlk-dispatcher.md) | 22 | ||||
| -rw-r--r-- | docs/spd/trusty-dispatcher.rst (renamed from docs/spd/trusty-dispatcher.md) | 4 |
4 files changed, 30 insertions, 23 deletions
diff --git a/docs/spd/optee-dispatcher.md b/docs/spd/optee-dispatcher.md deleted file mode 100644 index c154f6b3..00000000 --- a/docs/spd/optee-dispatcher.md +++ /dev/null @@ -1,13 +0,0 @@ -OP-TEE Dispatcher -================= - -[OP-TEE OS] is a Trusted OS running as Secure EL1. - -To build and execute [OP-TEE OS] follow the instructions at -[ARM Trusted Firmware with OP-TEE] [OP-TEE OS] - -- - - - - - - - - - - - - - - - - - - - - - - - - - - -_Copyright (c) 2014, ARM Limited and Contributors. All rights reserved._ - -[OP-TEE OS]: http://github.com/OP-TEE/optee_os/tree/master/documentation/arm_trusted_firmware.md diff --git a/docs/spd/optee-dispatcher.rst b/docs/spd/optee-dispatcher.rst new file mode 100644 index 00000000..e55926b4 --- /dev/null +++ b/docs/spd/optee-dispatcher.rst @@ -0,0 +1,14 @@ +OP-TEE Dispatcher +================= + +`OP-TEE OS`_ is a Trusted OS running as Secure EL1. + +To build and execute OP-TEE follow the instructions at +`OP-TEE build.git`_ + +-------------- + +*Copyright (c) 2014-2017, ARM Limited and Contributors. All rights reserved.* + +.. _OP-TEE OS: https://github.com/OP-TEE/build +.. _OP-TEE build.git: https://github.com/OP-TEE/build diff --git a/docs/spd/tlk-dispatcher.md b/docs/spd/tlk-dispatcher.rst index 40c83444..cd37652d 100644 --- a/docs/spd/tlk-dispatcher.md +++ b/docs/spd/tlk-dispatcher.rst @@ -1,5 +1,6 @@ Trusted Little Kernel (TLK) Dispatcher -======================================= +====================================== + TLK dispatcher adds support for NVIDIA's Trusted Little Kernel (TLK) to work with the Trusted Firmware. TLK-D can be compiled by including it in the platform's makefile. TLK is primarily meant to work with Tegra SoCs, so until @@ -15,6 +16,7 @@ to the build command. Trusted Little Kernel (TLK) =========================== + TLK is a Trusted OS running as Secure EL1. It is a Free Open Source Software (FOSS) release of the NVIDIA® Trusted Little Kernel (TLK) technology, which extends technology made available with the development of the Little Kernel (LK). @@ -47,24 +49,28 @@ NVIDIA extensions to Little Kernel (LK) include: • Debugging support over UART (USB planned) TLK is hosted by NVIDIA on http://nv-tegra.nvidia.com under the -3rdparty/ote_partner/tlk.git repository. Detailed information about -TLK and OTE can be found in the Tegra_BSP_for_Android_TLK_FOSS_Reference.pdf -manual located under the "documentation" directory_. +3rdparty/ote\_partner/tlk.git repository. Detailed information about +TLK and OTE can be found in the Tegra\_BSP\_for\_Android\_TLK\_FOSS\_Reference.pdf +manual located under the "documentation" directory\_. Build TLK ========= + To build and execute TLK, follow the instructions from "Building a TLK Device" -section from Tegra_BSP_for_Android_TLK_FOSS_Reference.pdf manual. +section from Tegra\_BSP\_for\_Android\_TLK\_FOSS\_Reference.pdf manual. Input parameters to TLK ======================= + TLK expects the TZDRAM size and a structure containing the boot arguments. BL2 -passes this information to the EL3 software as members of the bl32_ep_info -struct, where bl32_ep_info is part of bl31_params_t (passed by BL2 in X0) +passes this information to the EL3 software as members of the bl32\_ep\_info +struct, where bl32\_ep\_info is part of bl31\_params\_t (passed by BL2 in X0) Example: -------- + +:: + bl32_ep_info->args.arg0 = TZDRAM size available for BL32 bl32_ep_info->args.arg1 = unused (used only on ARMv7) bl32_ep_info->args.arg2 = pointer to boot args - diff --git a/docs/spd/trusty-dispatcher.md b/docs/spd/trusty-dispatcher.rst index 0258959d..f1982ea7 100644 --- a/docs/spd/trusty-dispatcher.md +++ b/docs/spd/trusty-dispatcher.rst @@ -1,5 +1,6 @@ Trusty Dispatcher ================= + Trusty is a a set of software components, supporting a Trusted Execution Environment (TEE) on mobile devices, published and maintained by Google. @@ -9,7 +10,6 @@ https://source.android.com/security/trusty Supported platforms =================== + Out of all the platforms supported by the ARM Trusted Firmware, Trusty is verified and supported by NVIDIA's Tegra SoCs. - - |