diff --git a/dev/gdb/thread.gdb b/dev/gdb/thread.gdb
new file mode 100644
index 000000000..41b5712f0
--- /dev/null
+++ b/dev/gdb/thread.gdb
@@ -0,0 +1,10 @@
+# list info about current threads (ptr, now_ms, queue, current)
+define thread_dump
+  set $t = 0
+  while $t < $g.nbthread
+    set $i = $ti[$t].pth_id
+    set $h = $tc[$t].current
+    printf "Tid %4d: pth=%p mono=%llu now_ms=%u fl=0x%02x rq=%d cq=%d current=%p\n", $t, $i, $tc[$t].curr_mono_time, (unsigned)(($tc[$t].curr_mono_time + now_offset)/1000000), $tc[$t].flags, $tc[$t].current_queue, $tc[$t].rq_total, $h
+    set $t = $t + 1
+  end
+end