The target architecture is set to "i386". 0x0000fff0 in ?? () Hardware assisted breakpoint 1 at 0x100000 Breakpoint 1, 0x00100000 in _start () PASS: stage2 dirtied BSS beyond old 64 KiB runtime limit Hardware assisted breakpoint 2 at 0x10005b: file kernel/main.c, line 30. Breakpoint 2, kernel_main (info=0x5000) at kernel/main.c:30 30 console_init(); /* entry cleared BSS/set stack; UART and VGA precede diagnostics. */ PASS: entry cleared full BSS and exact 128 KiB runtime image entered C Hardware assisted breakpoint 3 at 0x10674f: file kernel/task.c, line 871. Breakpoint 3, elf_demo_done () at kernel/task.c:871 871 { __asm__ volatile("nop" ::: "memory"); } PASS: exact-cap image completed allocator, user, syscall and ELF regressions