The target architecture is set to "i386". 0x0000fff0 in ?? () Hardware assisted breakpoint 1 at 0x10738d: file kernel/task.c, line 1004. Breakpoint 1, process_bootstrap_observed () at kernel/task.c:1004 1004 { __asm__ volatile("nop" ::: "memory"); } PASS: parent blocked inside top-level wait while BADPTR remained zombie and COUNT runnable Hardware assisted breakpoint 2 at 0x107489: file kernel/task.c, line 1007. Breakpoint 2, process_demo_done () at kernel/task.c:1007 1007 { __asm__ volatile("nop" ::: "memory"); } PASS: two rounds, bad status retries, PID reuse protection, orphan adoption and complete recovery verified Hardware assisted breakpoint 3 at 0x10181e: file kernel/keyboard.c, line 114. Breakpoint 3, keyboard_ready () at kernel/keyboard.c:114 114 void keyboard_ready(void) { __asm__ volatile("" ::: "memory"); } PASS: process demo reaches original blocking keyboard consumer