X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdebug.texi;fp=doc%2Fdebug.texi;h=6432ca3a1fa530a9a13af7710a4d4f8d3f535ef1;hb=846a228b99fcfe6be6c960724fd1887fea00f8fe;hp=1c6d7a39e584aa4577b58bed2e80a4092e98b70f;hpb=8e5950ea4890a031454309cb4a5428ea73266078;p=pintos-anon

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