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>