The target architecture is set to "i386".
timer_demo (mode=0) at kernel/timer.c:76
76	    for (;;) {
Hardware assisted breakpoint 1 at 0x1080bb: file kernel/task.c, line 1137.

Breakpoint 1, shell_prompt_observed () at kernel/task.c:1137
1137	{ __asm__ volatile("nop" ::: "memory"); }
READY warm-reset cs=1b eip=400000c7 pages=16040 refs=3
[Inferior 1 (process 1) detached]
