diff options
| author | Varun Wadekar <vwadekar@nvidia.com> | 2015-08-01 11:14:32 +0530 |
|---|---|---|
| committer | Varun Wadekar <vwadekar@nvidia.com> | 2015-08-01 11:14:32 +0530 |
| commit | d49d7e7b091500c74a85940700337a8ea5ca7463 (patch) | |
| tree | e5a05f293f9b46fdb892a7ada92841e0890c5c10 /docs/plat | |
| parent | 2ee2c4f0bb5f764cba9f306d1ccd6ef536dd1d59 (diff) | |
docs: fix the command to compile BL31 on Tegra
This patch fixes the command line used to compile BL31 on
Tegra platforms.
Signed-off-by: Varun Wadekar <vwadekar@nvidia.com>
Diffstat (limited to 'docs/plat')
| -rw-r--r-- | docs/plat/nvidia-tegra.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/plat/nvidia-tegra.md b/docs/plat/nvidia-tegra.md index d8e8ec63..b29532c9 100644 --- a/docs/plat/nvidia-tegra.md +++ b/docs/plat/nvidia-tegra.md @@ -57,7 +57,7 @@ without changing any makefiles. Preparing the BL31 image to run on Tegra SoCs =================================================== 'CROSS_COMPILE=<path-to-aarch64-gcc>/bin/aarch64-none-elf- make PLAT=tegra \ -TARGET_SOC=<target-soc e.g. t210|t132> SPD=<dispatcher e.g. tlkd> all' +TARGET_SOC=<target-soc e.g. t210|t132> SPD=<dispatcher e.g. tlkd> bl31' Platforms wanting to use different TZDRAM_BASE, can add 'TZDRAM_BASE=<value>' to the build command line. |