diff options
| author | Dan Handley <dan.handley@arm.com> | 2018-03-01 18:44:00 +0000 |
|---|---|---|
| committer | David Cunado <david.cunado@arm.com> | 2018-03-15 17:00:34 +0000 |
| commit | 4def07d5352893a33af18b04795f875fabff14de (patch) | |
| tree | 4e0cf6a8d7cb0fb9f78b6d757f682ddd876cf665 /docs/spd/tlk-dispatcher.rst | |
| parent | c3e34a9e018532a5ff669c67028cb8d1dea7c7d2 (diff) | |
| download | platform_external_arm-trusted-firmware-4def07d5352893a33af18b04795f875fabff14de.tar.gz platform_external_arm-trusted-firmware-4def07d5352893a33af18b04795f875fabff14de.tar.bz2 platform_external_arm-trusted-firmware-4def07d5352893a33af18b04795f875fabff14de.zip | |
Update Arm TF references to TF-A
Update Arm Trusted Firmware references in the upstream documents to
Trusted Firmware-A (TF-A). This is for consistency with and
disambiguation from Trusted Firmware-M (TF-M).
Also update other Arm trademarks, e.g. ARM->Arm, ARMv8->Armv8-A.
Change-Id: I8bb0e18af29c6744eeea2dc6c08f2c10b20ede22
Signed-off-by: Dan Handley <dan.handley@arm.com>
Signed-off-by: David Cunado <david.cunado@arm.com>
Diffstat (limited to 'docs/spd/tlk-dispatcher.rst')
| -rw-r--r-- | docs/spd/tlk-dispatcher.rst | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/docs/spd/tlk-dispatcher.rst b/docs/spd/tlk-dispatcher.rst index cd37652d2..90af5faf6 100644 --- a/docs/spd/tlk-dispatcher.rst +++ b/docs/spd/tlk-dispatcher.rst @@ -1,10 +1,10 @@ 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 -Trusted Firmware starts supporting Tegra, the dispatcher code can only be +TLK dispatcher (TLK-D) adds support for NVIDIA's Trusted Little Kernel (TLK) +to work with Trusted Firmware-A (TF-A). TLK-D can be compiled by including it +in the platform's makefile. TLK is primarily meant to work with Tegra SoCs, +so while TF-A only supports TLK on Tegra, the dispatcher code can only be compiled for other platforms. In order to compile TLK-D, we need a BL32 image to be present. Since, TLKD @@ -20,7 +20,7 @@ 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). -You can download the LK modular embedded preemptive kernel for use on ARM, +You can download the LK modular embedded preemptive kernel for use on Arm, x86, and AVR32 systems from https://github.com/travisg/lk NVIDIA implemented its Trusted Little Kernel (TLK) technology, designed as a @@ -72,5 +72,5 @@ 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.arg1 = unused (used only on Armv7-A) bl32_ep_info->args.arg2 = pointer to boot args |