diff --git a/docs/user/getting_started.rst b/docs/user/getting_started.rst
index 466094e0bfb8b388be9e301a1de44f81cf37f12f..5e71f361f7ab3171a2fb23c9e5f79be6f91172ae 100644
--- a/docs/user/getting_started.rst
+++ b/docs/user/getting_started.rst
@@ -186,6 +186,10 @@ GLUON_TARGET
 Special variables
 .................
 
+GLUON_DEBUG
+  Setting ``GLUON_DEBUG=1`` will provide firmware images including debugging symbols usable with GDB or
+  similar tools. Requires a device or target with at least 16 MB of flash space, e.g. `x86-64`. Unset by default.
+
 GLUON_DEVICES
   List of devices to build. The list contains the Gluon profile name of a device, the profile
   name is the first parameter of the ``device`` command in a target file.