From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 20 Dec 2005 07:33:37 +0000 (+0000)
Subject: Add comment that gdb and pintos have to run on the same machine.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=846a228b99fcfe6be6c960724fd1887fea00f8fe

Add comment that gdb and pintos have to run on the same machine.
---

diff --git a/doc/debug.texi b/doc/debug.texi
index 1c6d7a3..6432ca3 100644
--- a/doc/debug.texi
+++ b/doc/debug.texi
@@ -250,6 +250,12 @@ gdb kernel.o
 target remote localhost:1234
 @end example
 
+(If the @command{target remote} command fails, then make sure that both
+@command{gdb} and @command{pintos} are running on the same machine by
+running @command{hostname} in each terminal.  If the names printed
+differ, then you need to open a new terminal for @command{gdb} on the
+machine running @command{pintos}.)
+
 Now @command{gdb} is connected to the simulator over a local
 network connection.  You can now issue any normal @command{gdb}
 commands.  If you issue the @samp{c} command, the simulated BIOS will take