From 44b64a5abb6ce90b485ab5ab34890253410ef4ec Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <tschwinge@gnu.org>
Date: Thu, 20 Sep 2007 01:54:49 +0200
Subject: Add an example about how to attempt debugging Hurd libraries using
 GDB.

---
 hurd/debugging.mdwn      |  1 +
 hurd/debugging/hurd.mdwn | 43 +++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 44 insertions(+)
 create mode 100644 hurd/debugging/hurd.mdwn

diff --git a/hurd/debugging.mdwn b/hurd/debugging.mdwn
index 3ff2fba4..25686615 100644
--- a/hurd/debugging.mdwn
+++ b/hurd/debugging.mdwn
@@ -25,3 +25,4 @@ redistribute your contributions.
 # About Specific Packages
 
 * [[glibc]]
+* [[Hurd]]
diff --git a/hurd/debugging/hurd.mdwn b/hurd/debugging/hurd.mdwn
new file mode 100644
index 00000000..3d3f69c5
--- /dev/null
+++ b/hurd/debugging/hurd.mdwn
@@ -0,0 +1,43 @@
+Say you want to try running file system server (`[[translator/ext2fs]]`,
+`[[translator/jfs]]`, ...)  against a modified version of [[libpager]] and
+debug the latter one using [[GDB]].
+
+Set the translator like this:
+
+    $ settrans -fgap ↩
+      jfs.img.i ↩
+      /usr/bin/env ↩
+        LD_LIBRARY_PATH=~tschwinge/tmp/hurd/hurd.ogi/build/libpager ↩
+      "`pwd`"/jfs.obj/jfs ↩
+      "`pwd`"/jfs.img
+
+Then, when starting GDB, start it like this (or use an equivalent method, of
+course):
+
+    $ LD_LIBRARY_PATH=~tschwinge/tmp/hurd/hurd.ogi/build/libpager ↩
+      gdb ↩
+      ~tschwinge/tmp/jfs/jfs.obj/jfs 15436
+    GNU gdb 6.5-debian
+    [...]
+    Reading symbols from /lib/libdiskfs.so.0.3...Reading symbols from /lib/debug/lib/libdiskfs.so.0.3...done.
+    done.
+    Loaded symbols for /lib/libdiskfs.so.0.3
+    Reading symbols from /devel4/tschwinge/tmp/hurd/hurd.ogi/build/libpager/libpager.so.0.3...done.
+    Loaded symbols for /devel4/tschwinge/tmp/hurd/hurd.ogi/build/libpager/libpager.so.0.3
+    Reading symbols from /lib/libstore.so.0.3...Reading symbols from /lib/debug/lib/libstore.so.0.3...done.
+    done.
+    Loaded symbols for /lib/libstore.so.0.3
+    [...]
+    (gdb) break pager_demuxer
+    Breakpoint 1 at 0x105c98d: file ../../libpager/demuxer.c, line 27.
+    [...]
+    Breakpoint 1, pager_demuxer (inp=0x12bded0, outp=0x12bbec0) at ../../libpager/demuxer.c:27
+    27      {
+    (gdb) list
+    22      /* Demultiplex a single message directed at a pager port; INP is the
+    23         message received; fill OUTP with the reply.  */
+    24      int
+    25      pager_demuxer (mach_msg_header_t *inp,
+    [...]
+
+Voilà.
-- 
cgit v1.2.3