diff --git a/docs/faq.rst b/docs/faq.rst
index 84cb63b9..1ecbc745 100644
--- a/docs/faq.rst
+++ b/docs/faq.rst
@@ -141,6 +141,8 @@ At the same time, Rust has other advantages:
Go can.
+.. _faq-esp:
+
What about the ESP8266/ESP32?
-----------------------------
diff --git a/docs/index.rst b/docs/index.rst
index 18ca4907..50bb0618 100644
--- a/docs/index.rst
+++ b/docs/index.rst
@@ -12,6 +12,7 @@ Contents:
:maxdepth: 2
installation
+ targets
microcontrollers
faq
internals
diff --git a/docs/targets.rst b/docs/targets.rst
new file mode 100644
index 00000000..45985e14
--- /dev/null
+++ b/docs/targets.rst
@@ -0,0 +1,32 @@
+.. targets:
+
+.. |br| raw:: html
+
+
+
+Supported targets
+=================
+
+The following boards are currently supported:
+
+ * `Arduino Uno `_ (`ATmega328p
+ `_) |br|
+ Note: the AVR backend of LLVM is still experimental so you may encounter
+ bugs.
+ * `BBC micro:bit `_ (`nRF51822
+ `_)
+ * `Nordic PCA10040
+ `_
+ (`nRF52832
+ `_)
+ * `nRF52840-MDK `_ (`nRF52840
+ `_)
+ * `QEMU `_ (`LM3S6965
+ `_) |br|
+ This target is supported only for testing purposes. It has not been tested
+ on real hardware.
+
+
+.. note::
+ Support for the ESP8266/ESP32 chips will take a lot of work if they ever get
+ support. See :ref:`this FAQ entry ` for details.