From fa40cabbf361b717023183b57eed3bb72919a080 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 18 Nov 2019 18:45:52 -0400
Subject: Minor adjustments.

---
 documentation/research/debugging.md | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'documentation/research/debugging.md')

diff --git a/documentation/research/debugging.md b/documentation/research/debugging.md
index 2dd5d74e7..555ae3e7f 100644
--- a/documentation/research/debugging.md
+++ b/documentation/research/debugging.md
@@ -4,6 +4,7 @@
 
 # Tool
 
+1. [drgn: Scriptable debugger library](https://github.com/osandov/drgn)
 1. [Debug Adapter Protocol](https://microsoft.github.io/debug-adapter-protocol/)
 1. https://github.com/srg-imperial/SaBRe
 1. https://developer.mozilla.org/en-US/docs/Mozilla/Projects/WebReplay
@@ -19,6 +20,7 @@
 
 # Reference
 
+1. [The Power Of Collaborative Debugging](https://robert.ocallahan.org/2019/11/the-power-of-collaborative-debugging.html)
 1. [Multiverse Debugging: Non-Deterministic Debugging for Non-Deterministic Programs](https://stefan-marr.de/2019/07/what-if-we-could-see-all-concurrency-bugs-in-the-debugger/)
 1. [Writing a Debugger](http://system.joekain.com/debugger/)
 1. https://en.wikipedia.org/wiki/Jinx_Debugger
-- 
cgit v1.2.3