add information on how to setup debugging

Signed-off-by: Doru Blânzeanu <[email protected]>

docs/README.md

@@ -34,6 +34,7 @@ This project is composed internally of several internal components, depicted in
 
 * [Security guidance for developers](./security-guidance-for-developers.md)
 * [Paging Development Notes](./paging-development-notes.md)
+* [How to debug a Hyperlight guest](./how-to-debug-a-hyperlight-guest.md)
 * [How to use Flatbuffers in Hyperlight](./how-to-use-flatbuffers.md)
 * [How to make a Hyperlight release](./how-to-make-releases.md)
 * [Getting Hyperlight Metrics, Logs, and Traces](./hyperlight-metrics-logs-and-traces.md)

docs/how-to-debug-a-hyperlight-guest.md

@@ -0,0 +1,26 @@
+# How to debug a Hyperlight guest
+
+Currently Hyperlight support gdb debugging of a guest running inside a Hyperlight sandbox.
+When the option is enabled Hyperlight starts listening on port `8081` for a gdb connection.
+
+Note: It will only accept one connection, if the connection is closed, the debug session is also closed.
+
+## Example
+```bash
+cargo run --example hello-world --features gdb
+```
+The execution will wait for gdb to attach.
+
+One can use a simple gdb config to provide the symbols and desired configuration:
+
+For the above example, when running from the repository root directory, the below contents
+of `.gdbinit` file can be used.
+```gdb
+file src/tests/rust_guests/bin/debug/simpleguest
+target remote :8081
+set disassembly-flavor intel
+set disassemble-next-line on
+enable pretty-printer
+layout regs
+layout src
+```