SIGNUM Systems GDB Server Manual de usuario descargar pdf (Pagina 17)

SIGNUM SYSTEMS

830

(gdb) # machid

(gdb) p /x $r1

$12 = 0x84d

(gdb) # boot args

(gdb) p /x $r2

$13 = 0x90000100

(gdb) # Set a hardware breakpoint at start_kernel().

(gdb) hbreak start_kernel

Hardware assisted breakpoint 6 at 0xc00087b0: file init/main.c, line 547.

(gdb) c

Continuing.

Breakpoint 6, start_kernel () at init/main.c:547

547 in init/main.c

(gdb) p /x $pc

$14 = 0xc00087b0

(gdb) # The virtual memory is initialized. We can debug the kernel now.

...

1 2 ... 12 13 14 15 16 17

Sin comentarios

SIGNUM Systems GDB Server Manual de usuario Pagina 17