Update Mbed Crypto references to Mbed TLS
diff --git a/docs/psa/accel/index.html b/docs/psa/accel/index.html
index d3c4825..600f8ff 100644
--- a/docs/psa/accel/index.html
+++ b/docs/psa/accel/index.html
@@ -1,5 +1,5 @@
<h1 id="psa-cryptographic-accelerator-interface">PSA cryptographic accelerator interface</h1>
<p>The cryptographic accelerator driver interface lets you write drivers for hardware that performs cryptographic operations with keys in clear text. You can plug such drivers into any implementation of the <a href="../#application-programming-interface">PSA Cryptography API</a>.</p>
<p><strong>Status: draft</strong> — major changes are still likely.</p>
-<p><strong>Documentation</strong>: for now, please see the header file: <a href="https://github.com/ARMmbed/mbed-crypto/blob/development/include/psa/crypto_accel_driver.h"><code>include/psa/crypto_accel_driver.h</code></a></p>
-<p><strong>Mbed Crypto support status</strong>: Not implemented yet. For now, accelerators use the <a href="https://tls.mbed.org/kb/development/hw_acc_guidelines">Mbed TLS alternative cryptography engine interface</a>.</p>
+<p><strong>Documentation</strong>: for now, please see the header file: <a href="https://github.com/ARMmbed/mbedtls/blob/development/include/psa/crypto_accel_driver.h"><code>include/psa/crypto_accel_driver.h</code></a></p>
+<p><strong>Mbed TLS support status</strong>: Not implemented yet. For now, accelerators use the <a href="https://tls.mbed.org/kb/development/hw_acc_guidelines">Mbed TLS alternative cryptography engine interface</a>.</p>
diff --git a/docs/psa/accel/index.md b/docs/psa/accel/index.md
index 9027883..8d076e5 100644
--- a/docs/psa/accel/index.md
+++ b/docs/psa/accel/index.md
@@ -6,6 +6,6 @@
**Status: draft** — major changes are still likely.
**Documentation**: for now, please see the header file:
-[`include/psa/crypto_accel_driver.h`](https://github.com/ARMmbed/mbed-crypto/blob/development/include/psa/crypto_accel_driver.h)
+[`include/psa/crypto_accel_driver.h`](https://github.com/ARMmbed/mbedtls/blob/development/include/psa/crypto_accel_driver.h)
-**Mbed Crypto support status**: Not implemented yet. For now, accelerators use the [Mbed TLS alternative cryptography engine interface](https://tls.mbed.org/kb/development/hw_acc_guidelines).
+**Mbed TLS support status**: Not implemented yet. For now, accelerators use the [Mbed TLS alternative cryptography engine interface](https://tls.mbed.org/kb/development/hw_acc_guidelines).
diff --git a/docs/psa/entropy/index.html b/docs/psa/entropy/index.html
index 4784293..a0e6da2 100644
--- a/docs/psa/entropy/index.html
+++ b/docs/psa/entropy/index.html
@@ -1,5 +1,5 @@
<h1 id="psa-entropy-source-driver-interface">PSA entropy source driver interface</h1>
<p>The entropy source driver interface lets you write drivers for Hardware Random Number Generators (HRNG), also known as True Random Number Generators (TRNG). You can plug such drivers into any implementation of the <a href="../#application-programming-interface">PSA Cryptography API</a>.</p>
<p><strong>Status: draft</strong> — major changes are still likely.</p>
-<p><strong>Documentation</strong>: for now, please see the header file: <a href="https://github.com/ARMmbed/mbed-crypto/blob/development/include/psa/crypto_entropy_driver.h"><code>include/psa/crypto_entropy_driver.h</code></a></p>
-<p><strong>Mbed Crypto support status</strong>: Not implemented yet. For now, entropy sources use the <a href="https://tls.mbed.org/kb/how-to/add-entropy-sources-to-entropy-pool">Mbed TLS entropy module</a>.</p>
+<p><strong>Documentation</strong>: for now, please see the header file: <a href="https://github.com/ARMmbed/mbedtls/blob/development/include/psa/crypto_entropy_driver.h"><code>include/psa/crypto_entropy_driver.h</code></a></p>
+<p><strong>Mbed TLS support status</strong>: Not implemented yet. For now, entropy sources use the <a href="https://tls.mbed.org/kb/how-to/add-entropy-sources-to-entropy-pool">Mbed TLS entropy module</a>.</p>
diff --git a/docs/psa/entropy/index.md b/docs/psa/entropy/index.md
index 0891ad1..e9d9cec 100644
--- a/docs/psa/entropy/index.md
+++ b/docs/psa/entropy/index.md
@@ -6,6 +6,6 @@
**Status: draft** — major changes are still likely.
**Documentation**: for now, please see the header file:
-[`include/psa/crypto_entropy_driver.h`](https://github.com/ARMmbed/mbed-crypto/blob/development/include/psa/crypto_entropy_driver.h)
+[`include/psa/crypto_entropy_driver.h`](https://github.com/ARMmbed/mbedtls/blob/development/include/psa/crypto_entropy_driver.h)
-**Mbed Crypto support status**: Not implemented yet. For now, entropy sources use the [Mbed TLS entropy module](https://tls.mbed.org/kb/how-to/add-entropy-sources-to-entropy-pool).
+**Mbed TLS support status**: Not implemented yet. For now, entropy sources use the [Mbed TLS entropy module](https://tls.mbed.org/kb/how-to/add-entropy-sources-to-entropy-pool).
diff --git a/docs/psa/index.html b/docs/psa/index.html
index 89a4b83..b8ffeb4 100644
--- a/docs/psa/index.html
+++ b/docs/psa/index.html
@@ -4,7 +4,7 @@
<p>The PSA Cryptography API is a C programming interface for applications that wish to store cryptographic keys and use them to perform cryptographic operations.</p>
<p><strong>Status: released</strong> — version 1.0.0.</p>
<p><strong>Reference documentation</strong>: <a href="../html/index.html">HTML</a>, <a href="../PSA_Cryptography_API_Specification.pdf">PDF</a></p>
-<p><strong>Reference implementation</strong>: <a href="https://github.com/ARMmbed/mbed-crypto">Mbed Crypto</a></p>
+<p><strong>Reference implementation</strong>: <a href="https://github.com/ARMmbed/mbed-tls">Mbed TLS</a></p>
<h2 id="hardware-abstraction-layer">Hardware abstraction layer</h2>
<p>PSA includes functional specifications describing a hardware abstraction layer covering <a href="accel/">cryptographic accelerators</a>, <a href="se/">secure elements</a> and <a href="entropy/">entropy sources</a>.</p>
<h3 id="accelerator-driver-interface">Accelerator driver interface</h3>
@@ -17,4 +17,4 @@
<p>The entropy source driver interface lets you write drivers for Hardware Random Number Generators (HRNG), also known as True Random Number Generators (TRNG). You can plug such drivers into any implementation of the PSA Cryptography API.</p>
<p>For more information, see <a href="entropy/">PSA entropy source driver interface</a>.</p>
<h2 id="feedback">Feedback</h2>
-<p>Arm welcomes feedback on the design of the PSA cryptography interfaces. If you think something could be improved, please open an <a href="https://github.com/ARMmbed/mbed-crypto/labels/api-spec">issue on the Mbed Crypto GitHub repository</a>. Alternatively, if you prefer to provide your feedback privately, please email us at <code>mbed-crypto@arm.com</code>. All feedback received by email is treated confidentially.</p>
+<p>Arm welcomes feedback on the design of the PSA cryptography interfaces. If you think something could be improved, please open an <a href="https://github.com/ARMmbed/mbedtls/labels/api-spec">issue on the Mbed TLS GitHub repository</a>. Alternatively, if you prefer to provide your feedback privately, please email us at <code>mbed-crypto@arm.com</code>. All feedback received by email is treated confidentially.</p>
diff --git a/docs/psa/index.md b/docs/psa/index.md
index 14a59bc..7f51e13 100644
--- a/docs/psa/index.md
+++ b/docs/psa/index.md
@@ -13,7 +13,7 @@
[HTML](../html/index.html),
[PDF](../PSA_Cryptography_API_Specification.pdf)
-**Reference implementation**: [Mbed Crypto](https://github.com/ARMmbed/mbed-crypto)
+**Reference implementation**: [Mbed TLS](https://github.com/ARMmbed/mbed-tls)
## Hardware abstraction layer
@@ -43,5 +43,5 @@
## Feedback
Arm welcomes feedback on the design of the PSA cryptography interfaces.
-If you think something could be improved, please open an [issue on the Mbed Crypto GitHub repository](https://github.com/ARMmbed/mbed-crypto/labels/api-spec).
+If you think something could be improved, please open an [issue on the Mbed TLS GitHub repository](https://github.com/ARMmbed/mbedtls/labels/api-spec).
Alternatively, if you prefer to provide your feedback privately, please email us at `mbed-crypto@arm.com`. All feedback received by email is treated confidentially.
diff --git a/docs/psa/se/index.html b/docs/psa/se/index.html
index 1574c94..04dc3de 100644
--- a/docs/psa/se/index.html
+++ b/docs/psa/se/index.html
@@ -1,6 +1,6 @@
<h1 id="psa-secure-element-driver-interface">PSA secure element driver interface</h1>
<p>The secure element driver interface lets you write drivers for external cryptoprocessors such as secure elements (SE), smart cards and hardware security modules (HSM) that perform operations on keys that never leave the external processor and are accessed only through opaque handles. You can plug such drivers into any implementation of the <a href="../#application-programming-interface">PSA Cryptography API</a>.</p>
<p><strong>Status: draft</strong> — major changes are still likely.</p>
-<p><strong>Documentation</strong>: for now, please see the header file: <a href="https://github.com/ARMmbed/mbed-crypto/blob/development/include/psa/crypto_se_driver.h"><code>include/psa/crypto_se_driver.h</code></a></p>
-<p><strong>Mbed Crypto support status</strong>: Partial. Only a few operations are supported: key pair generation, import, export and destruction; signature and verification.</p>
+<p><strong>Documentation</strong>: for now, please see the header file: <a href="https://github.com/ARMmbed/mbedtls/blob/development/include/psa/crypto_se_driver.h"><code>include/psa/crypto_se_driver.h</code></a></p>
+<p><strong>Mbed TLS support status</strong>: Partial. Only a few operations are supported: key pair generation, import, export and destruction; signature and verification.</p>
<p><strong>Example</strong>: You can see the code of an <a href="https://github.com/ARMmbed/mbed-os-atecc608a">example driver</a> for the <a href="https://www.microchip.com/wwwproducts/en/ATECC608A">Microchip ATECC608A secure element</a>. See the instructions for the <a href="https://github.com/ARMmbed/mbed-os-example-atecc608a">example application using this driver</a> for how to build <a href="https://github.com/ARMmbed/mbed-os">Mbed OS</a> with this driver.</p>
diff --git a/docs/psa/se/index.md b/docs/psa/se/index.md
index 989bd06..a7652c7 100644
--- a/docs/psa/se/index.md
+++ b/docs/psa/se/index.md
@@ -6,9 +6,9 @@
**Status: draft** — major changes are still likely.
**Documentation**: for now, please see the header file:
-[`include/psa/crypto_se_driver.h`](https://github.com/ARMmbed/mbed-crypto/blob/development/include/psa/crypto_se_driver.h)
+[`include/psa/crypto_se_driver.h`](https://github.com/ARMmbed/mbedtls/blob/development/include/psa/crypto_se_driver.h)
-**Mbed Crypto support status**: Partial. Only a few operations are supported: key pair generation, import, export and destruction; signature and verification.
+**Mbed TLS support status**: Partial. Only a few operations are supported: key pair generation, import, export and destruction; signature and verification.
**Example**: You can see the code of an [example driver](https://github.com/ARMmbed/mbed-os-atecc608a) for the [Microchip ATECC608A secure element](https://www.microchip.com/wwwproducts/en/ATECC608A).
See the instructions for the [example application using this driver](https://github.com/ARMmbed/mbed-os-example-atecc608a) for how to build [Mbed OS](https://github.com/ARMmbed/mbed-os) with this driver.