The target architecture is set to "i386". 0x0000fff0 in ?? () Hardware assisted breakpoint 1 at 0x109431: block_demo_done. (2 locations) Breakpoint 1.2, block_demo_done () at kernel/block.c:239 239 void block_demo_done(void) { __asm__ volatile("nop" ::: "memory"); } PASS: IDENTIFY, MBR, two patterned sectors and range rejection verified Hardware assisted breakpoint 2 at 0x10181e: file kernel/keyboard.c, line 114. Breakpoint 2, keyboard_ready () at kernel/keyboard.c:114 114 void keyboard_ready(void) { __asm__ volatile("" ::: "memory"); } PASS: block demo reaches original blocking keyboard consumer