The target architecture is set to "i386". 0x0000fff0 in ?? () Hardware assisted breakpoint 1 at 0x1076c2: file kernel/task.c, line 1089. Breakpoint 1, disk_spawn_published () at kernel/task.c:1089 1089 { __asm__ volatile("nop" ::: "memory"); } STATE sp=7fffffe0 argc=1 argv0=7ffffff6 reads=3 lba=2203 live=2 refs=6 PASS: FAT source, non-embedded ELF, argc/argv stack and staged descriptor refs verified