From aeebcf272c972694b9282e374fe699be413e30cd Mon Sep 17 00:00:00 2001
From: bobcanthelpyou <bob@canthelpyou.com>
Date: Fri, 19 Apr 2019 23:04:59 +0200
Subject: [PATCH] docs: add GLUON_DEBUG

---
 docs/user/getting_started.rst | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/docs/user/getting_started.rst b/docs/user/getting_started.rst
index 466094e0..5e71f361 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.