From: Ben Pfaff 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?a=commitdiff_plain;h=0a6ecadd10aa9bca99a7d85d6bfa87800c77b54d;p=pintos-anon 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