diff --git a/docs/Makefile b/docs/Makefile
new file mode 100644
index 0000000..0f38bfa
--- /dev/null
+++ b/docs/Makefile
@@ -0,0 +1,19 @@
+PANDOC = pandoc
+
+default: all
+
+all_markdown = \
+	       psa/index.md \
+	       psa/accel/index.md \
+	       psa/entropy/index.md \
+	       psa/se/index.md \
+	       # This line is intentionally left blank
+
+html: $(all_markdown:.md=.html)
+all: html
+
+.SUFFIXES:
+.SUFFIXES: .md .html
+
+.md.html:
+	$(PANDOC) -o $@ $<
diff --git a/docs/psa/accel/index.html b/docs/psa/accel/index.html
new file mode 100644
index 0000000..d6f4749
--- /dev/null
+++ b/docs/psa/accel/index.html
@@ -0,0 +1,4 @@
+<h1 id="psa-cryptographic-accelerator-interface">PSA cryptographic accelerator interface</h1>
+<p>The accelerator interface lets you drivers for cryptographic accelerators into an implementation of the <a href="../#application-programming-interface">PSA Cryptography API</a>. Cryptographic accelerators perform cryptographic operations with keys in clear text.</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>
diff --git a/docs/psa/entropy/index.html b/docs/psa/entropy/index.html
new file mode 100644
index 0000000..8c51e66
--- /dev/null
+++ b/docs/psa/entropy/index.html
@@ -0,0 +1,4 @@
+<h1 id="psa-entropy-source-driver-interface">PSA entropy source driver interface</h1>
+<p>The accelerator interface lets you drivers for entropy sources such as Hardware Random Number Generators (HRNG), also known as True Random Number Generators (TRNG), into an 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>
diff --git a/docs/psa/index.html b/docs/psa/index.html
new file mode 100644
index 0000000..24e5477
--- /dev/null
+++ b/docs/psa/index.html
@@ -0,0 +1,18 @@
+<h1 id="psa-cryptography-interfaces">PSA cryptography interfaces</h1>
+<p>This page contains technical information about the cryptography interfaces in the Arm Platform Security Architecture (PSA) and related documents and software. For more information about the Platform Security Architecture, see <a href="https://developer.arm.com/architectures/security-architectures/platform-security-architecture">the Arm Developer website</a>.</p>
+<h2 id="application-programming-interface">Application programming interface</h2>
+<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: beta</strong> — version 1.0.0 beta 3. Minor changes and clarifications are planned before 1.0. Additional features are planned for 1.x releases.</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>
+<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>
+<p>The accelerator interface lets you drivers for cryptographic accelerators into an implementation of the PSA Cryptography API. Cryptographic accelerators perform cryptographic operations with keys in clear text.</p>
+<p>For more information, see <a href="accel/">PSA cryptography accelerator driver interface</a>.</p>
+<h3 id="secure-element-driver-interface">Secure element driver interface</h3>
+<p>The accelerator interface lets you drivers for external cryptoprocessors into an implementation of the PSA Cryptography API. External cryptoprocessors such as secure elements and smart cards perform cryptographic operations with keys accessed via opaque handles.</p>
+<p>For more information, see <a href="se/">PSA secure element driver interface</a>.</p>
+<h3 id="entropy-source-driver-interface">Entropy source driver interface</h3>
+<p>The accelerator interface lets you drivers for entropy sources such as Hardware Random Number Generators (HRNG), also known as True Random Number Generators (TRNG), into an implementation of the PSA Cryptography API.</p>
+<p>For more information, see <a href="entropy/">PSA entropy source driver interface</a>.</p>
diff --git a/docs/psa/se/index.html b/docs/psa/se/index.html
new file mode 100644
index 0000000..de0e367
--- /dev/null
+++ b/docs/psa/se/index.html
@@ -0,0 +1,4 @@
+<h1 id="psa-secure-element-driver-interface">PSA secure element driver interface</h1>
+<p>The accelerator interface lets you drivers for external cryptoprocessors into an implementation of the <a href="../#application-programming-interface">PSA Cryptography API</a>. External cryptoprocessors such as secure elements and smart cards perform cryptographic operations with keys accessed via opaque handles.</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>