diff options
| author | Varun Wadekar <vwadekar@nvidia.com> | 2019-01-31 09:22:30 -0800 |
|---|---|---|
| committer | Varun Wadekar <vwadekar@nvidia.com> | 2019-02-05 08:27:32 -0800 |
| commit | 77f1f7a11738cece09d3e399e30f6106dc0f909a (patch) | |
| tree | 3bbec8c5979b71c3535cda7f70b469e327c85e6e /docs | |
| parent | a01b0f1619e90aa39e0b5232767269d083186d74 (diff) | |
| download | platform_external_arm-trusted-firmware-77f1f7a11738cece09d3e399e30f6106dc0f909a.tar.gz platform_external_arm-trusted-firmware-77f1f7a11738cece09d3e399e30f6106dc0f909a.tar.bz2 platform_external_arm-trusted-firmware-77f1f7a11738cece09d3e399e30f6106dc0f909a.zip | |
Introduce build option to override libc
This patch introduces a build option 'OVERRIDE_LIBC' that platforms
can set to override libc from the BL image. The default value is '0'
to keep the library.
Change-Id: I10a0b247f6a782eeea4a0359e30a8d79b1e9e4e1
Signed-off-by: Varun Wadekar <vwadekar@nvidia.com>
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/user-guide.rst | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/user-guide.rst b/docs/user-guide.rst index 3828eaff1..63b0f36ea 100644 --- a/docs/user-guide.rst +++ b/docs/user-guide.rst @@ -581,6 +581,10 @@ Common build options 1 (do save and restore). 0 is the default. An SPD may set this to 1 if it wants the timer registers to be saved and restored. +- ``OVERRIDE_LIBC``: This option allows platforms to override the default libc + for the BL image. It can be either 0 (include) or 1 (remove). The default + value is 0. + - ``PL011_GENERIC_UART``: Boolean option to indicate the PL011 driver that the underlying hardware is not a full PL011 UART but a minimally compliant generic UART, which is a subset of the PL011. The driver will not access |