From 846a228b99fcfe6be6c960724fd1887fea00f8fe Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Tue, 20 Dec 2005 07:33:37 +0000 Subject: [PATCH] Add comment that gdb and pintos have to run on the same machine. --- doc/debug.texi | 6 ++++++ 1 file changed, 6 insertions(+) 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 -- 2.30.2