User manual

SIGNUM SYSTEMS
830
14
(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.
...